Searched refs:processLoopEnd (Results 1 – 3 of 3) sorted by relevance
42 ProgramStateRef processLoopEnd(const Stmt *LoopStmt, ProgramStateRef State);
78 ProgramStateRef processLoopEnd(const Stmt *LoopStmt, ProgramStateRef State) { in processLoopEnd() function
1143 NewState = processLoopEnd(S, NewState); in ProcessLoopExit()