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