diff options
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. |