[all-commits] [llvm/llvm-project] 978431: [Analyzer] SValBuilder: Simlify a SymExpr to the a...

[Gabor Marton via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 978431e80b6155878d8d5b4fc7a67c90af317c01
      https://github.com/llvm/llvm-project/commit/978431e80b6155878d8d5b4fc7a67c90af317c01
  Author: Gabor Marton <gabor.marton at ericsson.com>
  Date:   2021-12-07 (Tue, 07 Dec 2021)

  Changed paths:
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp
    M clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

  Log Message:
  -----------
  [Analyzer] SValBuilder: Simlify a SymExpr to the absolute simplest form

Move the SymExpr simplification fixpoint logic into SValBuilder.

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