tree b7cdd4412e1bca06180443b4763e07d41e960559
parent 2487af35e9cf003d3a6b3633c3cee122f555c604
author Gabor Marton <gabor.marton@ericsson.com> 1638389442 +0100
committer Copybara-Service <copybara-worker@google.com> 1638868898 -0800

[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

GitOrigin-RevId: 978431e80b6155878d8d5b4fc7a67c90af317c01