[cfe-commits] r77479 - /cfe/trunk/lib/Analysis/SymbolManager.cpp

[Ted Kremenek]

Author: kremenek
Date: Wed Jul 29 13:12:48 2009
New Revision: 77479

URL: http://llvm.org/viewvc/llvm-project?rev=77479&view=rev
Log:
canSymbolicate() should only return true for integer types that are scalars.

Modified:
    cfe/trunk/lib/Analysis/SymbolManager.cpp

Modified: cfe/trunk/lib/Analysis/SymbolManager.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/SymbolManager.cpp?rev=77479&r1=77478&r2=77479&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/SymbolManager.cpp (original)
+++ cfe/trunk/lib/Analysis/SymbolManager.cpp Wed Jul 29 13:12:48 2009
@@ -187,7 +187,7 @@
 SymbolManager::~SymbolManager() {}
 
 bool SymbolManager::canSymbolicate(QualType T) {
-  return Loc::IsLocType(T) || T->isIntegerType();  
+  return Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType());
 }
 
 void SymbolReaper::markLive(SymbolRef sym) {