Searched refs:CEBNode (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCallAndReturn.cpp129 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { argument
130 // Step 1 CEBNode was generated before the call.
133 CEBNode->getLocationContext()->getCurrentStackFrame();
141 ProgramStateRef state = CEBNode->getState();
145 llvm::tie(LastSt, Blk) = getLastStmt(CEBNode);
147 // Step 2: generate node with bound return value: CEBNode -> BindedRetNode.
152 const LocationContext *LCtx = CEBNode->getLocationContext();
184 BindedRetNode->addPredecessor(CEBNode, G);
198 CleanedNodes.Add(CEBNode);
208 ProgramStateRef CEEState = (*I == CEBNode)
[all...]

Completed in 223 milliseconds