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