tree afe2cd746a85771dc9ebc3bf663baf0360f1d61d
parent f02c5f3478318075d1a469203900e452ba651421
author Gabor Marton <gabor.marton@ericsson.com> 1636647144 +0100
committer Gabor Marton <gabor.marton@ericsson.com> 1638267899 +0100

[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