commit | 2065a070c208e8a985fe0cf7a98a8230e9b0b1e1 | [log] [tgz] |
---|---|---|
author | Gabor Marton <gabor.marton@ericsson.com> | Thu Nov 11 14:43:03 2021 +0100 |
committer | Copybara-Service <copybara-worker@google.com> | Mon Nov 22 08:36:39 2021 -0800 |
tree | e48a69f03022723fb40af3c047bf01008e59142b | |
parent | e5c3c8089b23628068db8626c0887cf71f0e4d7a [diff] |
[Analyzer][Core] Simplify IntSym in SValBuilder Make the SimpleSValBuilder capable to simplify existing IntSym expressions based on a newly added constraint on the sub-expression. Differential Revision: https://reviews.llvm.org/D113754 GitOrigin-RevId: ffc32efd1cd6a34659e2c559e9ba6ee923b1637a