[PATCH] D106823: [analyzer][solver] Iterate to a fixpoint during symbol simplification with constants

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

steakhal added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:1732
+      if (!State)
+        return false;
+    }
----------------
martong wrote:
> steakhal wrote:
> > I'd love to see a coverage report of the tests you add with this patch.
> Ok, I am going to check the coverage and add the missing cases.
> Ok, I am going to check the coverage and add the missing cases.
As of diff 5, line 1767 and all the code in the block at line 2184 are uncovered by the tests you provided.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D106823