Searched refs:InvalidatedState (Results 1 – 1 of 1) sorted by relevance
1143 ProgramStateRef InvalidatedState = tryToInvalidateFReadBufferByElements( in evalFreadFwrite() local1146 InvalidatedState ? InvalidatedState : escapeArgs(State, C, Call, {0}); in evalFreadFwrite()