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));
681 PropagationInfo(PInfo.getVar(), testsFor(FunD))));
720 LTest.TestsFor = CS_None;
728 RTest.TestsFor = CS_None;
961 ThenStates->setState(Test.Var, Test.TestsFor);
962 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor));
964 } else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) {
967 } else if (VarState == Test.TestsFor) {
984 ThenStates->setState(LTest.Var, LTest.TestsFor);
986 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) {
989 } else if (LState == LTest.TestsFor && isKnownState(RState)) {
990 if (RState == RTest.TestsFor)
999 invertConsumedUnconsumed(LTest.TestsFor));
1001 } else if (LState == LTest.TestsFor) {
1004 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) &&
1007 if (RState == RTest.TestsFor)
1018 ThenStates->setState(RTest.Var, RTest.TestsFor);
1019 else if (RState == invertConsumedUnconsumed(RTest.TestsFor))
1025 invertConsumedUnconsumed(RTest.TestsFor));
1026 else if (RState == RTest.TestsFor)
1316 CurrStates->setState(Test.Var, Test.TestsFor);
1317 else if (VarState == invertConsumedUnconsumed(Test.TestsFor))
1323 invertConsumedUnconsumed(Test.TestsFor));
1324 else if (VarState == Test.TestsFor)
