projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc3a260) | patch
[Analyzer] SValBuilder: Simlify a SymExpr to the absolute simplest form
authorGabor Marton <gabor.marton@ericsson.com>
Wed, 1 Dec 2021 20:10:42 +0000 (21:10 +0100)
committerGabor Marton <gabor.marton@ericsson.com>
Tue, 7 Dec 2021 09:02:32 +0000 (10:02 +0100)
commit978431e80b6155878d8d5b4fc7a67c90af317c01
tree543294ad5b409e113506cc10a3c890bbcff37432tree | snapshot
parentfc3a260a0fddf2bd2ee18cec53ebe65635ceb2dccommit | diff
[Analyzer] SValBuilder: Simlify a SymExpr to the absolute simplest form

Move the SymExpr simplification fixpoint logic into SValBuilder.

Differential Revision: https://reviews.llvm.org/D114938
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp diff | blob | history
Domain: System / Toolchain;