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