Hi, GCC and Clang both use the "alloc_size" attribute to assist with bounds checking around the use of allocation functions. Add the attribute, adjust the Makefile to silence needless warnings, and add the hints to the allocators where possible. These changes have been in use for a while now in GrapheneOS. To build without warnings, this series needs a couple small fixes for allmodconfig, which I sent separately: https://lore.kernel.org/lkml/20210818174855.2307828-5-keescook@xxxxxxxxxxxx/ https://lore.kernel.org/lkml/20210818044252.1533634-1-keescook@xxxxxxxxxxxx/ https://lore.kernel.org/lkml/20210818043912.1466447-1-keescook@xxxxxxxxxxxx/ I figure I can take this via my "overflow" series, or it could go via -mm? -Kees v2: - clean up slab function declarations (joe) - update checkpatch.pl attribute regex (joe) - explain the Makefile changes better (ojeda, nathan) v1: https://lore.kernel.org/lkml/20210818050841.2226600-1-keescook@xxxxxxxxxxxx Kees Cook (7): Compiler Attributes: Add __alloc_size() for better bounds checking checkpatch: Add __alloc_size() to known $Attribute slab: Clean up function declarations slab: Add __alloc_size attributes for better bounds checking mm/page_alloc: Add __alloc_size attributes for better bounds checking percpu: Add __alloc_size attributes for better bounds checking mm/vmalloc: Add __alloc_size attributes for better bounds checking Makefile | 6 ++- include/linux/compiler_attributes.h | 6 +++ include/linux/gfp.h | 2 + include/linux/percpu.h | 3 ++ include/linux/slab.h | 84 +++++++++++++++++------------ include/linux/vmalloc.h | 11 ++++ scripts/checkpatch.pl | 3 +- 7 files changed, 80 insertions(+), 35 deletions(-) -- 2.30.2
