[cfe-commits] r59240 - /cfe/trunk/lib/Analysis/RegionStore.cpp
Zhongxing Xu
xuzhongxing at gmail.com
Thu Nov 13 01:48:45 PST 2008
Author: zhongxingxu
Date: Thu Nov 13 03:48:44 2008
New Revision: 59240
URL: http://llvm.org/viewvc/llvm-project?rev=59240&view=rev
Log:
Process array base expression of any type.
Modified:
cfe/trunk/lib/Analysis/RegionStore.cpp
Modified: cfe/trunk/lib/Analysis/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/RegionStore.cpp?rev=59240&r1=59239&r2=59240&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/RegionStore.cpp (original)
+++ cfe/trunk/lib/Analysis/RegionStore.cpp Thu Nov 13 03:48:44 2008
@@ -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());
More information about the cfe-commits
mailing list