Lines Matching defs:ThenStates

932                                ConsumedStateMap *ThenStates,
934   ConsumedState VarState = ThenStates->getState(Test.Var);
937     ThenStates->setState(Test.Var, Test.TestsFor);
940     ThenStates->markUnreachable();
947                                     ConsumedStateMap *ThenStates,
952   ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None,
953                 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None;
958         ThenStates->setState(LTest.Var, LTest.TestsFor);
960         ThenStates->markUnreachable();
965           ThenStates->markUnreachable();
978           ThenStates->markUnreachable();
986         ThenStates->setState(RTest.Var, RTest.TestsFor);
988         ThenStates->markUnreachable();