diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-03-05 04:45:36 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-03-05 04:45:36 +0000 |
| commit | c179a7fbb294fe3ff6cf5479f6239a10f39628c7 (patch) | |
| tree | 1b7a5ec11a5f781c14dc6dcb4bf6fc109aa56e2f /lib/Checker/SymbolManager.cpp | |
| parent | fdf30aee637038bd89c42b04d912a04de4a59133 (diff) | |
Remove reference to AnalysisContext in Environment. We already have LocationContext
information in ExplodedNode.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@97785 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/SymbolManager.cpp')
| -rw-r--r-- | lib/Checker/SymbolManager.cpp | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lib/Checker/SymbolManager.cpp b/lib/Checker/SymbolManager.cpp index f2d630cdf6..65a46e31fe 100644 --- a/lib/Checker/SymbolManager.cpp +++ b/lib/Checker/SymbolManager.cpp @@ -215,13 +215,17 @@ bool SymbolReaper::isLive(SymbolRef sym) { return isa<SymbolRegionValue>(sym); } +bool SymbolReaper::isLive(const Stmt* Loc, const Stmt* ExprVal) const { + return LCtx->getLiveVariables()->isLive(Loc, ExprVal); +} + bool SymbolReaper::isLive(const Stmt *Loc, const VarRegion *VR) const { const StackFrameContext *SFC = VR->getStackFrame(); - if (SFC == CurrentStackFrame) - return Liveness.isLive(Loc, VR->getDecl()); + if (SFC == LCtx->getCurrentStackFrame()) + return LCtx->getLiveVariables()->isLive(Loc, VR->getDecl()); else - return SFC->isParentOf(CurrentStackFrame); + return SFC->isParentOf(LCtx->getCurrentStackFrame()); } SymbolVisitor::~SymbolVisitor() {} |