[PATCH] D144136: Add a "remark" to report on array accesses

Kees Cook via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 26 19:16:57 PDT 2023


kees added a comment.

In D144136#4651030 <https://reviews.llvm.org/D144136#4651030>, @void wrote:

> or can it be simplified into something like this:
>
>   array-bounds.c:341:2: remark: accessing flexible array, counted by 'count', with 'index - 1' [-Rarray-bounds]
>      341 |         TEST_ACCESS(p, array, index, SHOULD_TRAP);
>          |         ^

Yeah, this is totally enough. Thanks!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D144136/new/

https://reviews.llvm.org/D144136



More information about the cfe-commits mailing list