[PATCH] D99343: [Analyzer] Infer 0 value when the divisible is 0 (bug fix)

[Gabor Marton via Phabricator via cfe-commits]

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