Searched refs:removePendingInitLoop (Results 1 – 3 of 3) sorted by relevance
953 static ProgramStateRef removePendingInitLoop(ProgramStateRef State,
230 State = removePendingInitLoop(State, E, LCtx); in removeStateTraitsUsedForArrayEvaluation()
493 ProgramStateRef ExprEngine::removePendingInitLoop(ProgramStateRef State, in removePendingInitLoop() function in ExprEngine