]> granicus.if.org Git - clang/commitdiff
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)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@62771 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/SymbolManager.cpp

index 54ba7b1d9370a9a6adf7d3eedd22917fbf6c0001..1672af8c611c776c0797a3dd12a2c85817f3715c 100644 (file)
@@ -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));
 }