[PATCH] D114938: [Analyzer][NFCi] SValBuilder: Simlify a SymExpr to the absolute simplest form

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

In D114938#3174331 <https://reviews.llvm.org/D114938#3174331>, @steakhal wrote:

> You mentioned in the summary that there are different places where simplification-like machinary kicks in, which hindered the test case synthesis. What places did you refer to exactly?

These are the places where we call `SimpleSValBuilder::simplifySVal`.

1. EquivalenceClass::simplify
2. SimpleSValBuilder::evalBinOpNN
3. SimpleSValBuilder::getKnownValue


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D114938