diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-06-23 21:37:46 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-06-23 21:37:46 +0000 |
| commit | 8cf2021012eaa1137997b2f0040b060f6e1efb58 (patch) | |
| tree | f608cf5c2b2a716087f6ea900ec5dacb690b4a45 /clang/lib/Analysis/GRExprEngine.cpp | |
| parent | ca8f986f63c12120387f90e7bae23b7b787d3d6d (diff) | |
| download | bcm5719-llvm-8cf2021012eaa1137997b2f0040b060f6e1efb58.tar.gz bcm5719-llvm-8cf2021012eaa1137997b2f0040b060f6e1efb58.zip | |
Remove GRStateManager::getRegion/getSelfRegion().
llvm-svn: 74006
Diffstat (limited to 'clang/lib/Analysis/GRExprEngine.cpp')
| -rw-r--r-- | clang/lib/Analysis/GRExprEngine.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp index 42c6ce3dfb6..5ea9b29ddad 100644 --- a/clang/lib/Analysis/GRExprEngine.cpp +++ b/clang/lib/Analysis/GRExprEngine.cpp @@ -176,7 +176,7 @@ const GRState* GRExprEngine::getInitialState() { const ParmVarDecl *PD = FD->getParamDecl(0); QualType T = PD->getType(); if (T->isIntegerType()) - if (const MemRegion *R = StateMgr.getRegion(PD)) { + if (const MemRegion *R = state->getRegion(PD)) { SVal V = state->getSVal(loc::MemRegionVal(R)); SVal Constraint = EvalBinOp(state, BinaryOperator::GT, V, ValMgr.makeZeroVal(T), @@ -2253,7 +2253,7 @@ void GRExprEngine::VisitDeclStmt(DeclStmt* DS, NodeTy* Pred, NodeSet& Dst) { // update the state based on the new binding. If the GRTransferFunc // object doesn't do anything, just auto-propagate the current state. GRStmtNodeBuilderRef BuilderRef(Dst, *Builder, *this, *I, state, DS,true); - getTF().EvalBind(BuilderRef, loc::MemRegionVal(StateMgr.getRegion(VD)), + getTF().EvalBind(BuilderRef, loc::MemRegionVal(state->getRegion(VD)), InitVal); } else { |
