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