Searched refs:CEBNode (Results 1 – 1 of 1) sorted by relevance
206 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit() argument208 PrettyStackTraceLocationContext CrashInfo(CEBNode->getLocationContext()); in processCallExit()209 const StackFrameContext *calleeCtx = CEBNode->getStackFrame(); in processCallExit()217 ProgramStateRef state = CEBNode->getState(); in processCallExit()221 std::tie(LastSt, Blk) = getLastStmt(CEBNode); in processCallExit()240 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit()304 BindedRetNode->addPredecessor(CEBNode, G); in processCallExit()319 CleanedNodes.Add(CEBNode); in processCallExit()329 ProgramStateRef CEEState = (*I == CEBNode) ? state : (*I)->getState(); in processCallExit()