[cfe-commits] r113893 - /cfe/trunk/lib/Checker/RegionStore.cpp
Ted Kremenek
kremenek at apple.com
Tue Sep 14 16:29:38 PDT 2010
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);
}
More information about the cfe-commits
mailing list