aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/RegionStore.cpp
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2012-05-09 17:23:15 +0000
committerAnna Zaks <ganna@apple.com>2012-05-09 17:23:15 +0000
commit50b5a5c32e07301e4edcc01aca1f8a49a128c66c (patch)
treeeb65214be1aabaf30a01ce9a8c760e193d5fcd96 /lib/StaticAnalyzer/Core/RegionStore.cpp
parentcaa62af79db9be0ef0843aa77cbc216108842855 (diff)
[analyzer] Simplify r156446, as per Ted's review.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156482 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/RegionStore.cpp')
-rw-r--r--lib/StaticAnalyzer/Core/RegionStore.cpp9
1 files changed, 2 insertions, 7 deletions
diff --git a/lib/StaticAnalyzer/Core/RegionStore.cpp b/lib/StaticAnalyzer/Core/RegionStore.cpp
index 487327e7fc..1b941cc680 100644
--- a/lib/StaticAnalyzer/Core/RegionStore.cpp
+++ b/lib/StaticAnalyzer/Core/RegionStore.cpp
@@ -1154,13 +1154,8 @@ RegionStoreManager::GetLazyBinding(RegionBindings B, const MemRegion *R,
SVal RegionStoreManager::getBindingForElement(Store store,
const ElementRegion* R) {
// We do not currently model bindings of the CompoundLiteralregion.
- const ElementRegion *Tmp = R;
- while (Tmp) {
- const MemRegion *Sup = Tmp->getSuperRegion();
- if (isa<CompoundLiteralRegion>(Sup))
- return UnknownVal();
- Tmp = dyn_cast<ElementRegion>(Sup);
- }
+ if (isa<CompoundLiteralRegion>(R->getBaseRegion()))
+ return UnknownVal();
// Check if the region has a binding.
RegionBindings B = GetRegionBindings(store);