projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d93186) | patch
[Analyzer][solver] Handle adjustments in constraint assignor remainder
authorGabor Marton <gabor.marton@ericsson.com>
Fri, 22 Oct 2021 08:12:38 +0000 (10:12 +0200)
committerGabor Marton <gabor.marton@ericsson.com>
Wed, 27 Oct 2021 15:14:34 +0000 (17:14 +0200)
commita8297ed994301dbf34f259690e9f5fa8fce96ea2
treec2d2f33639e7f867bcb515e26893a50ad07522c3tree | snapshot
parent5d9318638e892143c7788191ca1d89445582880bcommit | diff
[Analyzer][solver] Handle adjustments in constraint assignor remainder

We can reuse the "adjustment" handling logic in the higher level
of the solver by calling `State->assume`.

Differential Revision: https://reviews.llvm.org/D112296
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp diff | blob | history
clang/test/Analysis/constraint-assignor.c diff | blob | history
Domain: System / Toolchain;