| commit | 25a33adaa006f24a5a61e70c2278a5663297d347 | [log] [tgz] |
|---|---|---|
| author | Gabor Marton <gabor.marton@ericsson.com> | Thu Nov 11 17:12:24 2021 +0100 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue Nov 30 02:32:07 2021 -0800 |
| tree | 3df905f06c76480e185de114dca896c247ac5a55 | |
| parent | da1b453bcf20d4d4d4ded006775e85d3ffc268b4 [diff] |
[Analyzer][Core] Make SValBuilder to better simplify svals with 3 symbols in the tree Add the capability to simplify more complex constraints where there are 3 symbols in the tree. In this change I extend simplifySVal to query constraints of children sub-symbols in a symbol tree. (The constraint for the parent is asked in getKnownValue.) Differential Revision: https://reviews.llvm.org/D103317 GitOrigin-RevId: 0a17896fe6fdbbde1f9d3ffbb10a4f3bfa8960f9