]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cdf584) | patch
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
authorAnna Zaks <ganna@apple.com>
Mon, 5 Dec 2011 18:58:25 +0000 (18:58 +0000)
committerAnna Zaks <ganna@apple.com>
Mon, 5 Dec 2011 18:58:25 +0000 (18:58 +0000)
commit76462f00854171d2aa3ebc34f9aac1c60021b0ea
tree5fa5d20feed39a5cb1d4df7bee70d33c606c0cf8tree | snapshot
parent3cdf584e068056540769dab56cad333e95a89750commit | diff
[analyzer] Remove all uses of ConstraintManager::canResonAbout() from
ExprEngine.

Teach SimpleConstraintManager::assumeSymRel() to propagate constraints
to symbolic expressions.

+ One extra warning (real bug) is now generated due to enhanced
assumeSymRel().

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@145832 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h diff | blob | history
lib/StaticAnalyzer/Core/ExprEngineC.cpp diff | blob | history
lib/StaticAnalyzer/Core/ProgramState.cpp diff | blob | history
lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp diff | blob | history
lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp diff | blob | history
test/Analysis/out-of-bounds.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.