projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b876c23) | patch
[analyzer] Implement assumeInclusiveRange in terms of assumeInclusiveRangeDual
authorGabor Marton <gabor.marton@ericsson.com>
Thu, 19 May 2022 09:05:24 +0000 (11:05 +0200)
committerGabor Marton <gabor.marton@ericsson.com>
Mon, 23 May 2022 07:32:44 +0000 (09:32 +0200)
commit32f189b0d9a881341e19e17a459f5b9cac4b0484
tree72e421deb5cad9c74469969ff3cb54816a6e4728tree | snapshot
parentb876c23604c748bd267c1fcb0572845ee61549cccommit | diff
[analyzer] Implement assumeInclusiveRange in terms of assumeInclusiveRangeDual

Depends on D124758. This is the very same thing we have done for
assumeDual, but this time we do it for assumeInclusiveRange. This patch
is basically a no-brainer copy of that previous patch.

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