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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits