martong added inline comments.
================
Comment at: clang/test/Analysis/zero-operands.c:43
+
+void test_0_divisible(int x, int y) {
+ int a = x < 0; // Eagerly bifurcate.
----------------
Note, this is the test that fails without this fix.
The preceding tests are here to demonstrate the current functionality with the
other multiplicative operands and will be good for regression testing.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D99343/new/
https://reviews.llvm.org/D99343
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
