Lines Matching defs:TestsFor

276   ConsumedState TestsFor;
319   PropagationInfo(const VarDecl *Var, ConsumedState TestsFor)
322     VarTest.TestsFor = TestsFor;
341     BinTest.LTest.TestsFor = LTestsFor;
343     BinTest.RTest.TestsFor = RTestsFor;
425                              invertConsumedUnconsumed(VarTest.TestsFor));
430         BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor),
431         BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor));
710       LTest.TestsFor = CS_None;
717       RTest.TestsFor = CS_None;
937     ThenStates->setState(Test.Var, Test.TestsFor);
938     ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor));
939   } else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) {
941   } else if (VarState == Test.TestsFor) {
958         ThenStates->setState(LTest.Var, LTest.TestsFor);
959       } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) {
961       } else if (LState == LTest.TestsFor && isKnownState(RState)) {
962         if (RState == RTest.TestsFor)
970                              invertConsumedUnconsumed(LTest.TestsFor));
971       } else if (LState == LTest.TestsFor) {
973       } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) &&
975         if (RState == RTest.TestsFor)
986         ThenStates->setState(RTest.Var, RTest.TestsFor);
987       else if (RState == invertConsumedUnconsumed(RTest.TestsFor))
992                              invertConsumedUnconsumed(RTest.TestsFor));
993       else if (RState == RTest.TestsFor)
1275         CurrStates->setState(Test.Var, Test.TestsFor);
1276       else if (VarState == invertConsumedUnconsumed(Test.TestsFor))
1282                               invertConsumedUnconsumed(Test.TestsFor));
1283       else if (VarState == Test.TestsFor)