[PATCH] D75698: [analyzer][WIP] Suppress bug reports where a tracked expression's latest value change was a result of an invalidation

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: clang/test/Analysis/suppress-invalidation-related-reports.cpp:18
+  if (flag) // Assume flag is true.
+    *x = 5; // non-suppressed-warning{{Dereference of null pointer}}
+}
----------------
In particular, i believe this is a true positive. Because either `flag` //may// be set to `false` by `foo()` which makes the path feasible, or the if-statement is dead code.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75698