[PATCH] D86870: [analyzer] Add more tests for ArrayBoundCheckerV2

This revision was automatically updated to reflect the committed changes. Closed by commit rG0dc0e2a9ab3c: [analyzer][NFC] Add more tests for ArrayBoundCheckerV2 (authored by Balazs Benics ). Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION http

[PATCH] D86870: [analyzer] Add more tests for ArrayBoundCheckerV2

martong added inline comments. Comment at: clang/test/Analysis/out-of-bounds-false-positive.c:34 + +void symbolic_uint_and_int0(unsigned len) { + (void)a[len + 1]; // no-warning steakhal wrote: > martong wrote: > > steakhal wrote: > > > martong wrote: > > > > Hm

[PATCH] D86870: [analyzer] Add more tests for ArrayBoundCheckerV2

steakhal added inline comments. Comment at: clang/test/Analysis/out-of-bounds-false-positive.c:34 + +void symbolic_uint_and_int0(unsigned len) { + (void)a[len + 1]; // no-warning martong wrote: > steakhal wrote: > > martong wrote: > > > Hmm, this seems to be qui

[PATCH] D86870: [analyzer] Add more tests for ArrayBoundCheckerV2

martong accepted this revision. martong added inline comments. This revision is now accepted and ready to land. Comment at: clang/test/Analysis/out-of-bounds-false-positive.c:34 + +void symbolic_uint_and_int0(unsigned len) { + (void)a[len + 1]; // no-warning ste

[PATCH] D86870: [analyzer] Add more tests for ArrayBoundCheckerV2

steakhal added inline comments. Comment at: clang/test/Analysis/out-of-bounds-false-positive.c:34 + +void symbolic_uint_and_int0(unsigned len) { + (void)a[len + 1]; // no-warning martong wrote: > Hmm, this seems to be quite redundant with the `size_t` tests. Why

[PATCH] D86870: [analyzer] Add more tests for ArrayBoundCheckerV2

martong added inline comments. Comment at: clang/test/Analysis/out-of-bounds-false-positive.c:34 + +void symbolic_uint_and_int0(unsigned len) { + (void)a[len + 1]; // no-warning Hmm, this seems to be quite redundant with the `size_t` tests. Why is it not enough

[PATCH] D86870: [analyzer] Add more tests for ArrayBoundCheckerV2

steakhal created this revision. steakhal added reviewers: NoQ, vsavchenko, xazax.hun, Szelethus, martong. Herald added subscribers: cfe-commits, ASDenysPetrov, Charusso, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet, baloghadamsoftware, whisperity. Herald added a project: clang