commit | d189d0615255576ee8f093a749b12d053dceb217 | [log] [tgz] |
---|---|---|
author | Gabor Marton <gabor.marton@ericsson.com> | Wed Dec 01 21:10:42 2021 +0100 |
committer | Copybara-Service <copybara-worker@google.com> | Tue Dec 07 01:21:38 2021 -0800 |
tree | b7cdd4412e1bca06180443b4763e07d41e960559 | |
parent | 2487af35e9cf003d3a6b3633c3cee122f555c604 [diff] |
[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