From 091cbbdcaa6f990c6ed7cc68b887b4767c0bbd85 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Tue, 14 Sep 2010 23:29:38 +0000 Subject: [PATCH] Adjust assertion in RegionStoreManager::RetrieveArray() to also take into account typedefs. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@113893 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Checker/RegionStore.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/Checker/RegionStore.cpp b/lib/Checker/RegionStore.cpp index 8c3763778d..4051f4d39b 100644 --- a/lib/Checker/RegionStore.cpp +++ b/lib/Checker/RegionStore.cpp @@ -1306,7 +1306,7 @@ SVal RegionStoreManager::RetrieveStruct(Store store, const TypedRegion* R) { } SVal RegionStoreManager::RetrieveArray(Store store, const TypedRegion * R) { - assert(isa(R->getValueType())); + assert(Ctx.getAsConstantArrayType(R->getValueType())); return ValMgr.makeLazyCompoundVal(store, R); } -- 2.50.1