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