tjh.dev / kernel
Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

fbdev: mmp: Annotate struct mmp_path with __counted_by

Prepare for the coming implementation by GCC and Clang of the __counted_by
attribute. Flexible array members annotated with __counted_by can have
their accesses bounds-checked at run-time checking via CONFIG_UBSAN_BOUNDS
(for array indexing) and CONFIG_FORTIFY_SOURCE (for strcpy/memcpy-family
functions).

As found with Coccinelle[1], add __counted_by for struct mmp_path.

[1] https://github.com/kees/kernel-tools/blob/trunk/coccinelle/examples/counted_by.cocci

Cc: Helge Deller <deller@gmx.de>
Cc: linux-fbdev@vger.kernel.org
Cc: dri-devel@lists.freedesktop.org
Signed-off-by: Kees Cook <keescook@chromium.org>
Signed-off-by: Helge Deller <deller@gmx.de>

authored by

Kees Cook and committed by
Helge Deller e3487252 053d7dcd

+1 -1
+1 -1
include/video/mmp_disp.h
··· 231 231 232 232 /* layers */ 233 233 int overlay_num; 234 - struct mmp_overlay overlays[]; 234 + struct mmp_overlay overlays[] __counted_by(overlay_num); 235 235 }; 236 236 237 237 extern struct mmp_path *mmp_get_path(const char *name);