]> granicus.if.org Git - clang/commit
SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalues becau...
authorTed Kremenek <kremenek@apple.com>
Thu, 22 Jan 2009 18:51:33 +0000 (18:51 +0000)
committerTed Kremenek <kremenek@apple.com>
Thu, 22 Jan 2009 18:51:33 +0000 (18:51 +0000)
commitdcb6a26586bb05237f1f32f80de7b7f2bdab8ac3
tree3f36d21064db324182bfe2b262172d7b60b4f2ea
parent9ab6b9cfb76ee56a61829e2bdb08e5cdc288726e
SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalues because these represent the symbolic values for parameters/globals upon entry to the function.  These values are always ;live' because they represent constraints on the context of how the function was called.  This will be useful for both summary generation but is also necessary to get RegionStore's lazy-binding of locations to symbols to work in practice with RemoveDeadBindings.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62771 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/SymbolManager.cpp