diff options
Diffstat (limited to 'lib/Checker/GRExprEngine.cpp')
-rw-r--r-- | lib/Checker/GRExprEngine.cpp | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/lib/Checker/GRExprEngine.cpp b/lib/Checker/GRExprEngine.cpp index 247435fb83..6a383e2e42 100644 --- a/lib/Checker/GRExprEngine.cpp +++ b/lib/Checker/GRExprEngine.cpp @@ -285,7 +285,7 @@ GRExprEngine::GRExprEngine(AnalysisManager &mgr, GRTransferFuncs *tf) *this), SymMgr(StateMgr.getSymbolManager()), svalBuilder(StateMgr.getSValBuilder()), - EntryNode(NULL), CurrentStmt(NULL), + EntryNode(NULL), currentStmt(NULL), NSExceptionII(NULL), NSExceptionInstanceRaiseSelectors(NULL), RaiseSel(GetNullarySelector("raise", getContext())), BR(mgr, *this), TF(tf) { @@ -530,9 +530,9 @@ void GRExprEngine::ProcessElement(const CFGElement E, } void GRExprEngine::ProcessStmt(const CFGStmt S, GRStmtNodeBuilder& builder) { - CurrentStmt = S.getStmt(); + currentStmt = S.getStmt(); PrettyStackTraceLoc CrashInfo(getContext().getSourceManager(), - CurrentStmt->getLocStart(), + currentStmt->getLocStart(), "Error evaluating statement"); Builder = &builder; @@ -540,7 +540,7 @@ void GRExprEngine::ProcessStmt(const CFGStmt S, GRStmtNodeBuilder& builder) { // Create the cleaned state. const LocationContext *LC = EntryNode->getLocationContext(); - SymbolReaper SymReaper(LC, CurrentStmt, SymMgr); + SymbolReaper SymReaper(LC, currentStmt, SymMgr); if (AMgr.shouldPurgeDead()) { const GRState *St = EntryNode->getState(); @@ -593,7 +593,7 @@ void GRExprEngine::ProcessStmt(const CFGStmt S, GRStmtNodeBuilder& builder) { Checker *checker = I->second; for (ExplodedNodeSet::iterator NI = SrcSet->begin(), NE = SrcSet->end(); NI != NE; ++NI) - checker->GR_evalDeadSymbols(*DstSet, *Builder, *this, CurrentStmt, + checker->GR_evalDeadSymbols(*DstSet, *Builder, *this, currentStmt, *NI, SymReaper, tag); SrcSet = DstSet; } @@ -612,7 +612,7 @@ void GRExprEngine::ProcessStmt(const CFGStmt S, GRStmtNodeBuilder& builder) { Builder->SetCleanedState(*I == EntryNode ? CleanedState : GetState(*I)); // Visit the statement. - Visit(CurrentStmt, *I, Dst); + Visit(currentStmt, *I, Dst); // Do we need to auto-generate a node? We only need to do this to generate // a node with a "cleaned" state; GRCoreEngine will actually handle @@ -620,7 +620,7 @@ void GRExprEngine::ProcessStmt(const CFGStmt S, GRStmtNodeBuilder& builder) { if (Dst.size() == 1 && *Dst.begin() == EntryNode && !Builder->HasGeneratedNode && !HasAutoGenerated) { HasAutoGenerated = true; - builder.generateNode(CurrentStmt, GetState(EntryNode), *I); + builder.generateNode(currentStmt, GetState(EntryNode), *I); } } @@ -628,14 +628,14 @@ void GRExprEngine::ProcessStmt(const CFGStmt S, GRStmtNodeBuilder& builder) { CleanedState = NULL; EntryNode = NULL; - CurrentStmt = 0; + currentStmt = 0; Builder = NULL; } void GRExprEngine::ProcessInitializer(const CFGInitializer Init, GRStmtNodeBuilder &builder) { - // We don't set EntryNode and CurrentStmt. And we don't clean up state. + // We don't set EntryNode and currentStmt. And we don't clean up state. const CXXBaseOrMemberInitializer *BMI = Init.getInitializer(); ExplodedNode *Pred = builder.getBasePredecessor(); @@ -740,7 +740,7 @@ void GRExprEngine::Visit(const Stmt* S, ExplodedNode* Pred, // this check when we KNOW that there is no block-level subexpression. // The motivation is that this check requires a hashtable lookup. - if (S != CurrentStmt && Pred->getLocationContext()->getCFG()->isBlkExpr(S)) { + if (S != currentStmt && Pred->getLocationContext()->getCFG()->isBlkExpr(S)) { Dst.Add(Pred); return; } @@ -1309,7 +1309,7 @@ void GRExprEngine::VisitGuardedExpr(const Expr* Ex, const Expr* L, const Expr* R, ExplodedNode* Pred, ExplodedNodeSet& Dst) { - assert(Ex == CurrentStmt && + assert(Ex == currentStmt && Pred->getLocationContext()->getCFG()->isBlkExpr(Ex)); const GRState* state = GetState(Pred); @@ -1499,7 +1499,7 @@ void GRExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode* Pred, assert(B->getOpcode() == BO_LAnd || B->getOpcode() == BO_LOr); - assert(B==CurrentStmt && Pred->getLocationContext()->getCFG()->isBlkExpr(B)); + assert(B==currentStmt && Pred->getLocationContext()->getCFG()->isBlkExpr(B)); const GRState* state = GetState(Pred); SVal X = state->getSVal(B); |