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);
}
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
