[all-commits] [llvm/llvm-project] 888af4: [Analyzer][solver] Simplification: reorganize equa...

[Gabor Marton via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 888af47095d5a7121c1d78566df59c292f30ceaf
      https://github.com/llvm/llvm-project/commit/888af47095d5a7121c1d78566df59c292f30ceaf
  Author: Gabor Marton <gabor.marton at ericsson.com>
  Date:   2021-10-27 (Wed, 27 Oct 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
    A clang/test/Analysis/solver-sym-simplification-adjustment.c

  Log Message:
  -----------
  [Analyzer][solver] Simplification: reorganize equalities with adjustment

Initiate the reorganization of the equality information during symbol
simplification. E.g., if we bump into `c + 1 == 0` during simplification
then we'd like to express that `c == -1`. It makes sense to do this only
with `SymIntExpr`s.

Reviewed By: steakhal

Differential Revision: https://reviews.llvm.org/D111642