bcachefs: Annotate struct bucket_array with __counted_by()

Add the __counted_by compiler attribute to the flexible array member
bucket to improve access bounds-checking via CONFIG_UBSAN_BOUNDS and
CONFIG_FORTIFY_SOURCE.

Signed-off-by: Thorsten Blum <thorsten.blum@toblux.com>
Signed-off-by: Kent Overstreet <kent.overstreet@linux.dev>

diff --git a/fs/bcachefs/buckets_types.h b/fs/bcachefs/buckets_types.h
index c9698cdf866f90bf31bf21e1ac1bbb8401279999..a19460a1bb7c8584f2df686b595e116ad5e693ce 100644 (file)
--- a/fs/bcachefs/buckets_types.h
+++ b/fs/bcachefs/buckets_types.h
@@ -24,7 +24,7 @@ struct bucket_array {
        u16                     first_bucket;
        size_t                  nbuckets;
        size_t                  nbuckets_minus_first;
-       struct bucket           b[];
+       struct bucket           b[] __counted_by(nbuckets);
 };
 
 struct bucket_gens {