tree 3df905f06c76480e185de114dca896c247ac5a55
parent da1b453bcf20d4d4d4ded006775e85d3ffc268b4
author Gabor Marton <gabor.marton@ericsson.com> 1636647144 +0100
committer Copybara-Service <copybara-worker@google.com> 1638268327 -0800

[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