commit 36d4ade4be78855e6cba0e52ae70a2d307591353
author Zhongxing Xu <xuzhongxing@gmail.com> Mon Oct 27 12:23:17 2008 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Mon Oct 27 12:23:17 2008 +0000
tree f013249153c0fb7dbf10ddce808dfe918a20bd34
parent c6db58a6bd354dba133840f5e7699cd51f3f87d0

We cannot get precise lvalue for symbolic base array region.

llvm-svn: 58243

clang/lib/Analysis/RegionStore.cpp

diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index 536e149..ae0383d 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -168,6 +168,9 @@
   if (Base.isUnknownOrUndef())
     return Base;
 
+  if (isa<loc::SymbolVal>(Base))
+    return Base;
+
   loc::MemRegionVal& BaseL = cast<loc::MemRegionVal>(Base);
 
   // We expect BaseR is an ElementRegion, not a base VarRegion.