slab: make check_object() more consistent
authorChengming Zhou <chengming.zhou@linux.dev>
Fri, 7 Jun 2024 08:40:12 +0000 (16:40 +0800)
committerVlastimil Babka <vbabka@suse.cz>
Fri, 7 Jun 2024 09:03:24 +0000 (11:03 +0200)
commit47d911b02cbe61494bb066ad84cc66d25091d506
tree8744daa83510dcf7708b239449ff7046361dae83
parent4d2bcefa965b06a1f2be6912456bcfa86a34f184
slab: make check_object() more consistent

Now check_object() calls check_bytes_and_report() multiple times to
check every section of the object it cares about, like left and right
redzones, object poison, paddings poison and freepointer. It will
abort the checking process and return 0 once it finds an error.

There are two inconsistencies in check_object(), which are alignment
padding checking and object padding checking. We only print the error
messages but don't return 0 to tell callers that something is wrong
and needs to be handled. Please see alloc_debug_processing() and
free_debug_processing() for details.

We want to do all checks without skipping, so use a local variable
"ret" to save each check result and change check_bytes_and_report() to
only report specific error findings. Then at end of check_object(),
print the trailer once if any found an error.

Suggested-by: Vlastimil Babka <vbabka@suse.cz>
Signed-off-by: Chengming Zhou <chengming.zhou@linux.dev>
Reviewed-by: Vlastimil Babka <vbabka@suse.cz>
Signed-off-by: Vlastimil Babka <vbabka@suse.cz>
mm/slub.c