Searched refs:CEBNode (Results 1 – 1 of 1) sorted by relevance
250 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit() argument252 const StackFrameContext *calleeCtx = CEBNode->getStackFrame(); in processCallExit()260 ProgramStateRef state = CEBNode->getState(); in processCallExit()264 std::tie(LastSt, Blk) = getLastStmt(CEBNode); in processCallExit()293 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit()356 isa<ReturnStmt>(LastSt) ? Blk : &CEBNode->getCFG().getExit(); in processCallExit()359 BindedRetNode->addPredecessor(CEBNode, G); in processCallExit()374 CleanedNodes.Add(CEBNode); in processCallExit()382 ProgramStateRef CEEState = (N == CEBNode) ? state : N->getState(); in processCallExit()