diff options
| author | Ted Kremenek <kremenek@apple.com> | 2011-01-13 04:36:46 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2011-01-13 04:36:46 +0000 |
| commit | f41bdd7c244b5e0fc68482b6c8f195b61b5678ea (patch) | |
| tree | 309b39e59785fc4596b494b63123b96211f9f63a /clang/lib/StaticAnalyzer/CoreEngine.cpp | |
| parent | b86ec25256e295a9e5821e12fa8357514a3b0a91 (diff) | |
| download | bcm5719-llvm-f41bdd7c244b5e0fc68482b6c8f195b61b5678ea.tar.gz bcm5719-llvm-f41bdd7c244b5e0fc68482b6c8f195b61b5678ea.zip | |
Rename 'HasGeneratedNode' to 'hasGeneratedNode'
and 'getBasePredecessor()' to 'getPredecessor()'.
Also remove a unneeded save-and-restore of
node builder's tag field.
llvm-svn: 123363
Diffstat (limited to 'clang/lib/StaticAnalyzer/CoreEngine.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/CoreEngine.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/clang/lib/StaticAnalyzer/CoreEngine.cpp b/clang/lib/StaticAnalyzer/CoreEngine.cpp index 9ccc4472f4f..13cca35aacf 100644 --- a/clang/lib/StaticAnalyzer/CoreEngine.cpp +++ b/clang/lib/StaticAnalyzer/CoreEngine.cpp @@ -295,7 +295,7 @@ void CoreEngine::HandleBlockEdge(const BlockEdge& L, ExplodedNode* Pred) { SubEng.processCFGBlockEntrance(dstNodes, nodeBuilder); if (dstNodes.empty()) { - if (!nodeBuilder.hasGeneratedNode()) { + if (!nodeBuilder.hasGeneratedNode) { // Auto-generate a node and enqueue it to the worklist. generateNode(BE, Pred->State, Pred); } @@ -468,7 +468,7 @@ GenericNodeBuilderImpl::generateNodeImpl(const GRState *state, ProgramPoint programPoint, bool asSink) { - HasGeneratedNode = true; + hasGeneratedNode = true; bool isNew; ExplodedNode *node = engine.getGraph().getNode(programPoint, state, &isNew); if (pred) @@ -487,7 +487,7 @@ StmtNodeBuilder::StmtNodeBuilder(const CFGBlock* b, unsigned idx, ExplodedNode* N, CoreEngine* e, GRStateManager &mgr) : Eng(*e), B(*b), Idx(idx), Pred(N), Mgr(mgr), - PurgingDeadSymbols(false), BuildSinks(false), HasGeneratedNode(false), + PurgingDeadSymbols(false), BuildSinks(false), hasGeneratedNode(false), PointKind(ProgramPoint::PostStmtKind), Tag(0) { Deferred.insert(N); CleanedState = Pred->getState(); @@ -706,7 +706,7 @@ SwitchNodeBuilder::generateDefaultCaseNode(const GRState* St, bool isSink) { EndOfFunctionNodeBuilder::~EndOfFunctionNodeBuilder() { // Auto-generate an EOP node if one has not been generated. - if (!HasGeneratedNode) { + if (!hasGeneratedNode) { // If we are in an inlined call, generate CallExit node. if (Pred->getLocationContext()->getParent()) GenerateCallExitNode(Pred->State); @@ -718,7 +718,7 @@ EndOfFunctionNodeBuilder::~EndOfFunctionNodeBuilder() { ExplodedNode* EndOfFunctionNodeBuilder::generateNode(const GRState* State, const void *tag, ExplodedNode* P) { - HasGeneratedNode = true; + hasGeneratedNode = true; bool IsNew; ExplodedNode* Node = Eng.G->getNode(BlockEntrance(&B, @@ -735,7 +735,7 @@ EndOfFunctionNodeBuilder::generateNode(const GRState* State, const void *tag, } void EndOfFunctionNodeBuilder::GenerateCallExitNode(const GRState *state) { - HasGeneratedNode = true; + hasGeneratedNode = true; // Create a CallExit node and enqueue it. const StackFrameContext *LocCtx = cast<StackFrameContext>(Pred->getLocationContext()); |

