dm raid: Annotate struct raid_set with __counted_by

JIRA: https://issues.redhat.com/browse/RHEL-34599
Upstream Status: kernel/git/torvalds/linux.git

commit e3260d90c8f35c03ce182bfd2eeea75805586c25
Author: Kees Cook <keescook@chromium.org>
Date:   Fri Sep 15 13:03:36 2023 -0700

    dm raid: Annotate struct raid_set 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 raid_set.

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

    Cc: Alasdair Kergon <agk@redhat.com>
    Cc: Mike Snitzer <snitzer@kernel.org>
    Cc: dm-devel@redhat.com
    Reviewed-by: "Gustavo A. R. Silva" <gustavoars@kernel.org>
    Link: https://lore.kernel.org/r/20230915200335.never.098-kees@kernel.org
    Signed-off-by: Kees Cook <keescook@chromium.org>

Signed-off-by: Benjamin Marzinski <bmarzins@redhat.com>
This commit is contained in:
Benjamin Marzinski 2024-04-29 15:11:26 -04:00
parent aa1e1c090d
commit 9be36d29bb
1 changed files with 1 additions and 1 deletions

View File

@ -255,7 +255,7 @@ struct raid_set {
int mode;
} journal_dev;
struct raid_dev dev[];
struct raid_dev dev[] __counted_by(raid_disks);
};
static void rs_config_backup(struct raid_set *rs, struct rs_layout *l)