Lines Matching defs:testsFor
264 static ConsumedState testsFor(const FunctionDecl *FunDecl) {
278 ConsumedState TestsFor;
321 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor)
325 VarTest.TestsFor = TestsFor;
346 BinTest.LTest.TestsFor = LTestsFor;
348 BinTest.RTest.TestsFor = RTestsFor;
431 invertConsumedUnconsumed(VarTest.TestsFor));
436 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor),
437 BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor));
675 PropagationInfo(PInfo.getVar(), testsFor(FunD))));
714 LTest.TestsFor = CS_None;
722 RTest.TestsFor = CS_None;
955 ThenStates->setState(Test.Var, Test.TestsFor);
956 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor));
958 } else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) {
961 } else if (VarState == Test.TestsFor) {
978 ThenStates->setState(LTest.Var, LTest.TestsFor);
980 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) {
983 } else if (LState == LTest.TestsFor && isKnownState(RState)) {
984 if (RState == RTest.TestsFor)
993 invertConsumedUnconsumed(LTest.TestsFor));
995 } else if (LState == LTest.TestsFor) {
998 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) &&
1001 if (RState == RTest.TestsFor)
1012 ThenStates->setState(RTest.Var, RTest.TestsFor);
1013 else if (RState == invertConsumedUnconsumed(RTest.TestsFor))
1019 invertConsumedUnconsumed(RTest.TestsFor));
1020 else if (RState == RTest.TestsFor)
1321 CurrStates->setState(Test.Var, Test.TestsFor);
1322 else if (VarState == invertConsumedUnconsumed(Test.TestsFor))
1328 invertConsumedUnconsumed(Test.TestsFor));
1329 else if (VarState == Test.TestsFor)