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