diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-12-17 04:44:39 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-12-17 04:44:39 +0000 |
commit | 3a9a2a551c1593e3aeaf2b8a4c25a6b2faca7138 (patch) | |
tree | 4c667655d07ed0a759bff72b21ed54e27d2d9794 /clang/lib/Checker/GRExprEngine.cpp | |
parent | 9c7f3a46d80d99b0d3238dfe07b8622415edfdcd (diff) | |
download | bcm5719-llvm-3a9a2a551c1593e3aeaf2b8a4c25a6b2faca7138.tar.gz bcm5719-llvm-3a9a2a551c1593e3aeaf2b8a4c25a6b2faca7138.zip |
Rename several methods/functions in the analyzer
to start with lowercase characters. No
functionality change.
llvm-svn: 122035
Diffstat (limited to 'clang/lib/Checker/GRExprEngine.cpp')
-rw-r--r-- | clang/lib/Checker/GRExprEngine.cpp | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp index 247435fb83c..6a383e2e428 100644 --- a/clang/lib/Checker/GRExprEngine.cpp +++ b/clang/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); |