Searched refs:processCallExit (Results 1 – 6 of 6) sorted by relevance
111 virtual void processCallExit(ExplodedNode *Pred) = 0;
271 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
252 SubEng.processCallExit(Pred); in dispatchWorkItem()
218 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit() function in ExprEngine