replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Adjust assertion in RegionStoreManager::RetrieveArray() to also take into account typedefs. 

llvm-svn: 113893
This commit is contained in:
Ted Kremenek 2010-09-14 23:29:38 +00:00
parent e0386dbef1
commit 72c9b0d582
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang/lib/Checker/RegionStore.cpp
View File

@ -1306,7 +1306,7 @@ SVal RegionStoreManager::RetrieveStruct(Store store, const TypedRegion* R) {
}
SVal RegionStoreManager::RetrieveArray(Store store, const TypedRegion * R) {
assert(isa<ConstantArrayType>(R->getValueType()));
assert(Ctx.getAsConstantArrayType(R->getValueType()));
return ValMgr.makeLazyCompoundVal(store, R);
}