Lines Matching defs:CurrentState

616         CurrentState(0) {
723       assert(CurrentState.isVisited() &&
728       if (assignState(BB, CurrentState)) {
741     CurrentState = joinSuccessors(BB);
742     assert(CurrentState.isVisited() &&
905     ParameterStatus &CurrentParamStatus = CurrentState.getStatusFor(Index);
912           Parameter, &CurrentState.getCallFor(Index), Call,
932     ParameterStatus &CurrentParamStatus = CurrentState.getStatusFor(Index);
1492     for (ParameterStatus &PS : CurrentState) {
1510         ParameterStatus &CurrentParamStatus = CurrentState.getStatusFor(*Index);
1693   State CurrentState;