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 | f985648e83f8f4021865fb2ab1b4a13d10e9f91f (patch) | |
| tree | 2acbd70530cd6394e1fbf3e5ea9fdd450d968b93 /clang/lib/Analysis/RegionStore.cpp | |
| parent | 6f80ca34d498b9f5ee639cefd5d443cd62470fcf (diff) | |
| download | bcm5719-llvm-f985648e83f8f4021865fb2ab1b4a13d10e9f91f.tar.gz bcm5719-llvm-f985648e83f8f4021865fb2ab1b4a13d10e9f91f.zip | |
SymbolicRegions may also be live roots.
llvm-svn: 70380
Diffstat (limited to 'clang/lib/Analysis/RegionStore.cpp')
| -rw-r--r-- | clang/lib/Analysis/RegionStore.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp index 7a78036ec06..aeb8a2ac8f8 100644 --- a/clang/lib/Analysis/RegionStore.cpp +++ b/clang/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. |
