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