diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-29 09:24:35 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-29 09:24:35 +0000 |
| commit | 5c86b1982e5d11e71f4810eebfb143e3824c75a8 (patch) | |
| tree | 149d6d4ffa11a85ce2c36223dae56ded4432a5aa /lib/Analysis/RegionStore.cpp | |
| parent | b1080ed5016db4466fbe69d771c05672de39ec3e (diff) | |
SymbolicRegions may also be live roots.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70380 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | lib/Analysis/RegionStore.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp index 7a78036ec0..aeb8a2ac8f 100644 --- a/lib/Analysis/RegionStore.cpp +++ b/lib/Analysis/RegionStore.cpp @@ -912,6 +912,10 @@ Store RegionStoreManager::RemoveDeadBindings(const GRState* state, Stmt* Loc, if (const VarRegion* VR = dyn_cast<VarRegion>(R)) { if (SymReaper.isLive(Loc, VR->getDecl())) RegionRoots.push_back(VR); // This is a live "root". + } + else if (const SymbolicRegion* SR = dyn_cast<SymbolicRegion>(R)) { + if (SymReaper.isLive(SR->getSymbol())) + RegionRoots.push_back(SR); } else { // Get the super region for R. |