Searched refs:processCallExit (Results 1 – 6 of 6) sorted by relevance
119 virtual void processCallExit(ExplodedNode *Pred) = 0;
278 void processCallExit(ExplodedNode *Pred) override;
76 In ExprEngine::processCallExit(), we always bind the object region to the
118 ExprEngine::inlineCall and ExprEngine::processCallExit.132 2. ExprEngine takes over (in processCallExit) and finds the return value of the
264 SubEng.processCallExit(Pred); in dispatchWorkItem()
221 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit() function in ExprEngine