diff options
| author | Anna Zaks <ganna@apple.com> | 2011-10-24 21:19:59 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-10-24 21:19:59 +0000 |
| commit | aa0aeb1cbe117db68d35700cb3a34aace0f99b99 (patch) | |
| tree | c3857abdcf6f18737fe243c4be0fcb6bfd00e381 /lib/StaticAnalyzer/Core/ExprEngineObjC.cpp | |
| parent | cca79db2ea94f71fb088f4b0f104cef8bedf8ff2 (diff) | |
[analyzer] Node builders cleanup + comments
Renamed PureNodeBuilder->StmtNodeBuilder.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142849 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/ExprEngineObjC.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/ExprEngineObjC.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp b/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp index a3280ab774..a03a7b29e6 100644 --- a/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp @@ -26,7 +26,7 @@ void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, SVal location = state->getLValue(Ex->getDecl(), baseVal); ExplodedNodeSet dstIvar; - PureStmtNodeBuilder Bldr(Pred, dstIvar, *currentBuilderContext); + StmtNodeBuilder Bldr(Pred, dstIvar, *currentBuilderContext); Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, location)); // Perform the post-condition check of the ObjCIvarRefExpr and store @@ -72,7 +72,7 @@ void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, const Stmt *elem = S->getElement(); const ProgramState *state = Pred->getState(); SVal elementV; - PureStmtNodeBuilder Bldr(Pred, Dst, *currentBuilderContext); + StmtNodeBuilder Bldr(Pred, Dst, *currentBuilderContext); if (const DeclStmt *DS = dyn_cast<DeclStmt>(elem)) { const VarDecl *elemD = cast<VarDecl>(DS->getSingleDecl()); @@ -136,7 +136,7 @@ void ExprEngine::VisitObjCMessage(const ObjCMessage &msg, // Proceed with evaluate the message expression. ExplodedNodeSet dstEval; - PureStmtNodeBuilder Bldr(dstPrevisit, dstEval, *currentBuilderContext); + StmtNodeBuilder Bldr(dstPrevisit, dstEval, *currentBuilderContext); for (ExplodedNodeSet::iterator DI = dstPrevisit.begin(), DE = dstPrevisit.end(); DI != DE; ++DI) { @@ -223,7 +223,7 @@ void ExprEngine::VisitObjCMessage(const ObjCMessage &msg, getCheckerManager().runCheckersForPostObjCMessage(Dst, dstEval, msg, *this); } -void ExprEngine::evalObjCMessage(PureStmtNodeBuilder &Bldr, +void ExprEngine::evalObjCMessage(StmtNodeBuilder &Bldr, const ObjCMessage &msg, ExplodedNode *Pred, const ProgramState *state, |