[PATCH] D65725: [analyzer] Mention whether an event is about a condition in a bug report part 2
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Aug 7 15:03:29 PDT 2019
NoQ accepted this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
Accept as long as we agree on the wording as part of D65575 <https://reviews.llvm.org/D65575>.
================
Comment at: clang/test/Analysis/track-control-dependency-conditions.cpp:465
void assert(int b) {
- if (!b) // tracking-note{{Assuming 'b' is not equal to 0}}
+ if (!b) // tracking-note{{Assuming 'b' is not equal to 0, which will be (a part of a) condition}}
// tracking-note at -1{{Taking false branch}}
----------------
Do i understand correctly that this test was passing previously, because `expected-note` matches substrings rather than the whole string? If we stick to the current wording, should we slowly switch to `expected-note-re{{{{^}}...{{$}}}}` in order to avoid such situations?
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D65725/new/
https://reviews.llvm.org/D65725
More information about the cfe-commits
mailing list