[PATCH] D65725: [analyzer] Mention whether an event is about a condition in a bug report part 2

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus marked an inline comment as done.
Szelethus added inline comments.


================
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}}
----------------
NoQ wrote:
> 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?
I was thinking about this as well. I could do that.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D65725