diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-03-03 22:06:47 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-03-03 22:06:47 +0000 |
| commit | c9747dd60f13c8e47c0ea490ef7e2b74cf93ae20 (patch) | |
| tree | 31cf2aade86d38a56bb2d2a8bc7d1584da4450ce /clang/lib/Analysis/SimpleConstraintManager.cpp | |
| parent | b833ce74d8c98ba15b51fd9f4b5017042a50d9cb (diff) | |
| download | bcm5719-llvm-c9747dd60f13c8e47c0ea490ef7e2b74cf93ae20.tar.gz bcm5719-llvm-c9747dd60f13c8e47c0ea490ef7e2b74cf93ae20.zip | |
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'.
llvm-svn: 65972
Diffstat (limited to 'clang/lib/Analysis/SimpleConstraintManager.cpp')
0 files changed, 0 insertions, 0 deletions
