projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f730749) | patch
[analyzer][NFC] Move overconstrained check from reAssume to assumeDualImpl
authorGabor Marton <gabor.marton@ericsson.com>
Tue, 31 May 2022 15:49:52 +0000 (17:49 +0200)
committerGabor Marton <gabor.marton@ericsson.com>
Thu, 2 Jun 2022 09:41:19 +0000 (11:41 +0200)
commit81e44414aa925f5dcaf05ef658d1bffd8937ef4c
treef76737723e6f9ca1bca57f1bdb394fcc2b36425btree | snapshot
parentf730749e8584fe7ea3927d0359f20d167d281e80commit | diff
[analyzer][NFC] Move overconstrained check from reAssume to assumeDualImpl

Depends on D126406. Checking of the overconstrained property is much
better suited here.

Differential Revision: https://reviews.llvm.org/D126707
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h diff | blob | history
clang/lib/StaticAnalyzer/Core/ConstraintManager.cpp diff | blob | history
clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp diff | blob | history
Domain: System / Toolchain;