[PATCH] D107636: [analyzer][solver] Compute adjustment for unsupported symbols as well

[Denys Petrov via Phabricator via cfe-commits]

ASDenysPetrov added a comment.
Herald added a project: All.

I checked the tests file on the latest sources. It passes even without your changes. Maybe this patch is already outdated.



================
Comment at: clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp:82-86
       if (IsExpectedEqual) {
         return assumeSymNE(State, CanonicalEquality, Zero, Zero);
       }
 
       return assumeSymEQ(State, CanonicalEquality, Zero, Zero);
----------------
Do we need the same changes here as below?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D107636