Searched refs:ProcessLoopExit (Results 1 – 2 of 2) sorted by relevance
303 void ProcessLoopExit(const Stmt* S, ExplodedNode *Pred);
823 ProcessLoopExit(E.castAs<CFGLoopExit>().getLoopStmt(), Pred); in processCFGElement()968 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) { in ProcessLoopExit() function in ExprEngine