[PATCH] D126281: [analyzer] Fix symbol simplification assertion failure

[Gabor Marton via Phabricator via cfe-commits]

martong added inline comments.


================
Comment at: clang/test/Analysis/symbol-simplification-assertion.c:27
+  assert(a + L1 + 1 + b != c);
+  assert(a == 0); // no-assertion
+}
----------------
steakhal wrote:
> Is this statement still reachable? Demonstrate it by using the `clang_analyzer_warnIfReached()`.
Ok, I've added that.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D126281