Process array base expression of any type.
llvm-svn: 59240
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index ec5acf5..b09c49e 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -186,6 +186,14 @@
loc::MemRegionVal& BaseL = cast<loc::MemRegionVal>(Base);
+ // Pointer of any type can be cast and used as array base. We do not support
+ // that case yet.
+ if (!isa<ElementRegion>(BaseL.getRegion())) {
+ // Record what we have seen in real code.
+ assert(isa<FieldRegion>(BaseL.getRegion()));
+ return UnknownVal();
+ }
+
// We expect BaseR is an ElementRegion, not a base VarRegion.
const ElementRegion* ElemR = cast<ElementRegion>(BaseL.getRegion());