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 | b4857264b8d3d861f688cdaa174aab30e0729a73 (patch) | |
tree | 8ae089d8d035b090db9db384df98ce03d91707fd /lib/StaticAnalyzer/CoreEngine.cpp | |
parent | ba37d3b2ef37c3591a4f673215d78cb9cc928de3 (diff) |
Rename 'HasGeneratedNode' to 'hasGeneratedNode'
and 'getBasePredecessor()' to 'getPredecessor()'.
Also remove a unneeded save-and-restore of
node builder's tag field.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@123363 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/CoreEngine.cpp')
-rw-r--r-- | lib/StaticAnalyzer/CoreEngine.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/StaticAnalyzer/CoreEngine.cpp b/lib/StaticAnalyzer/CoreEngine.cpp index 9ccc4472f4..13cca35aac 100644 --- a/lib/StaticAnalyzer/CoreEngine.cpp +++ b/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()); |