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