[cfe-commits] r109709 - /cfe/trunk/lib/Checker/SymbolManager.cpp

[Ted Kremenek]

Author: kremenek
Date: Wed Jul 28 19:28:43 2010
New Revision: 109709

URL: http://llvm.org/viewvc/llvm-project?rev=109709&view=rev
Log:
Change SymbolManager::canSymbolicate() to return true for RecordTypes.

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

Modified: cfe/trunk/lib/Checker/SymbolManager.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/SymbolManager.cpp?rev=109709&r1=109708&r2=109709&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/SymbolManager.cpp (original)
+++ cfe/trunk/lib/Checker/SymbolManager.cpp Wed Jul 28 19:28:43 2010
@@ -205,7 +205,16 @@
 SymbolManager::~SymbolManager() {}
 
 bool SymbolManager::canSymbolicate(QualType T) {
-  return Loc::IsLocType(T) || (T->isIntegerType() && T->isScalarType());
+  if (Loc::IsLocType(T))
+    return true;
+
+  if (T->isIntegerType())
+    return T->isScalarType();
+
+  if (T->isRecordType())
+    return true;
+
+  return false;
 }
 
 void SymbolReaper::markLive(SymbolRef sym) {