diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-27 12:23:17 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-10-27 12:23:17 +0000 |
| commit | 4a1513e535f9db2027c60bc96a4276435743857c (patch) | |
| tree | e3bfb1dbd33e650b2653e7515ae788d28fc6076f /lib/Analysis/RegionStore.cpp | |
| parent | 6594a701dc5da3a84573ed0a02b8d13593b8cf92 (diff) | |
We cannot get precise lvalue for symbolic base array region.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58243 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | lib/Analysis/RegionStore.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 536e14944b..ae0383d06e 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -168,6 +168,9 @@ SVal RegionStoreManager::getLValueElement(const GRState* St, 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. |