Go to file
Ted Kremenek c9747dd60f 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
2009-03-03 22:06:47 +00:00
clang Rework use of loc::SymbolVal in the retain/release checker to use the new method 2009-03-03 22:06:47 +00:00
llvm Recursively remove dead argument while removing llvm.dbg.declare intrinsic. 2009-03-03 21:31:02 +00:00