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

/external/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCallAndReturn.cpp218 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { argument
219 // Step 1 CEBNode was generated before the call.
220 PrettyStackTraceLocationContext CrashInfo(CEBNode->getLocationContext());
222 CEBNode->getLocationContext()->getCurrentStackFrame();
230 ProgramStateRef state = CEBNode->getState();
234 std::tie(LastSt, Blk) = getLastStmt(CEBNode);
241 // Step 2: generate node with bound return value: CEBNode -> BindedRetNode.
246 const LocationContext *LCtx = CEBNode->getLocationContext();
289 BindedRetNode->addPredecessor(CEBNode, G);
304 CleanedNodes.Add(CEBNode);
[all...]

Completed in 91 milliseconds