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

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

In D126281#3533755 <https://reviews.llvm.org/D126281#3533755>, @martong wrote:

>> Point 2) above has negligible performance impact, empirical measurements do not show any noticeable difference in the run-time.
>
> Attaching the measurement results that show the run-time difference is not noticeable, or rather it is within the margin of measurement error.
>
> F23176609: image.png <https://reviews.llvm.org/F23176609>

Can C++ projects behave differently?

Please add the `Fixes #55546` comment into the commit message, to let GitHub recognize this.



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


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D126281