]> granicus.if.org Git - clang/commit
Rework use of loc::SymbolVal in the retain/release checker to use the new method
authorTed Kremenek <kremenek@apple.com>
Tue, 3 Mar 2009 22:06:47 +0000 (22:06 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 3 Mar 2009 22:06:47 +0000 (22:06 +0000)
commit94c969804b1f98650316a8f75434b2d24dbe94ea
tree91c72e38d24a01c7fcc4d5cadc89fa604ea408d2
parent9d40ee50f8a013e5253101648092cf0daa76c335
Rework use of loc::SymbolVal in the retain/release checker to use the new method
SVal::getAsLocSymbol(). This simplifies the code and allows the retain/release
checker to (I believe) also correctly reason about location symbols wrapped in
SymbolicRegions.

Along the way I cleaned up SymbolRef a little, disallowing implicit casts to
'unsigned'.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65972 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/SVals.h
include/clang/Analysis/PathSensitive/SymbolManager.h
lib/Analysis/BugReporter.cpp
lib/Analysis/CFRefCount.cpp
lib/Analysis/MemRegion.cpp
lib/Analysis/SVals.cpp
lib/Analysis/SymbolManager.cpp