projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f02c5f3) | patch
[Analyzer][Core] Make SValBuilder to better simplify svals with 3 symbols in the...
authorGabor Marton <gabor.marton@ericsson.com>
Thu, 11 Nov 2021 16:12:24 +0000 (17:12 +0100)
committerGabor Marton <gabor.marton@ericsson.com>
Tue, 30 Nov 2021 10:24:59 +0000 (11:24 +0100)
commit0a17896fe6fdbbde1f9d3ffbb10a4f3bfa8960f9
treeafe2cd746a85771dc9ebc3bf663baf0360f1d61dtree | snapshot
parentf02c5f3478318075d1a469203900e452ba651421commit | 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
clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp diff | blob | history
clang/test/Analysis/svalbuilder-simplify-compound-svals.cpp [new file with mode: 0644] blob
clang/test/Analysis/taint-tester.c diff | blob | history
Domain: System / Toolchain;