[PATCH] D112296: [Analyzer][solver] Handle adjustments in constraint assignor remainder

Denys Petrov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Oct 25 04:45:09 PDT 2021


ASDenysPetrov added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:1623
     if (!Constraint.containsZero()) {
-      State = RCM.assumeSymNE(State, LHS, Zero, Zero);
+      State = RCM.assumeSymRel(State, LHS, BO_NE, Zero);
       if (!State)
----------------
What I see, you're still trying to avoid using `State->assume`, which I recommend in a parent revision, but coming closer using its guts.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D112296



More information about the cfe-commits mailing list