From: Ted Kremenek <kremenek@apple.com>
Date: Thu, 22 Jan 2009 18:51:33 +0000 (+0000)
Subject: SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalues becau... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=dcb6a26586bb05237f1f32f80de7b7f2bdab8ac3;p=clang

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
---

diff --git a/lib/Analysis/SymbolManager.cpp b/lib/Analysis/SymbolManager.cpp
index 54ba7b1d93..1672af8c61 100644
--- a/lib/Analysis/SymbolManager.cpp
+++ b/lib/Analysis/SymbolManager.cpp
@@ -92,6 +92,11 @@ bool SymbolReaper::maybeDead(SymbolRef sym) {
 }
 
 bool SymbolReaper::isLive(SymbolRef sym) {
-  return TheLiving.contains(sym);
+  if (TheLiving.contains(sym))
+    return true;
+  
+  // Interogate the symbol.  It may derive from an input value to
+  // the analyzed function/method.
+  return isa<SymbolRegionRValue>(SymMgr.getSymbolData(sym));
 }