[cfe-commits] r113893 - /cfe/trunk/lib/Checker/RegionStore.cpp

[Ted Kremenek]

Author: kremenek
Date: Tue Sep 14 18:29:38 2010
New Revision: 113893

URL: http://llvm.org/viewvc/llvm-project?rev=113893&view=rev
Log:
Adjust assertion in RegionStoreManager::RetrieveArray() to also take into account typedefs.

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

Modified: cfe/trunk/lib/Checker/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/RegionStore.cpp?rev=113893&r1=113892&r2=113893&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/RegionStore.cpp (original)
+++ cfe/trunk/lib/Checker/RegionStore.cpp Tue Sep 14 18:29:38 2010
@@ -1306,7 +1306,7 @@
 }
 
 SVal RegionStoreManager::RetrieveArray(Store store, const TypedRegion * R) {
-  assert(isa<ConstantArrayType>(R->getValueType()));
+  assert(Ctx.getAsConstantArrayType(R->getValueType()));
   return ValMgr.makeLazyCompoundVal(store, R);
 }