Lines Matching defs:InitialState
272 ProgramStateRef InitialState = C.getState();
274 ProgramStateRef State = InitialState;
309 if (State != InitialState) {
517 ProgramStateRef InitialState = State;
600 } else if (State != InitialState) {
845 ProgramStateRef InitialState = C.getState();
848 removeValueRequiringRelease(InitialState, InstanceSym, Value);
850 if (ReleasedState != InitialState) {
