Searched refs:OrigState (Results 1 – 1 of 1) sorted by relevance
652 ProgramStateRef OrigState = State; in checkPreCall() local740 if (State != OrigState) in checkPreCall()