• Home
  • Raw
  • Download

Lines Matching refs:TestsFor

278   ConsumedState TestsFor;  member
321 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor) in PropagationInfo() argument
325 VarTest.TestsFor = TestsFor; in PropagationInfo()
346 BinTest.LTest.TestsFor = LTestsFor; in PropagationInfo()
348 BinTest.RTest.TestsFor = RTestsFor; in PropagationInfo()
431 invertConsumedUnconsumed(VarTest.TestsFor)); in invertTest()
436 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor), in invertTest()
437 BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor)); in invertTest()
720 LTest.TestsFor = CS_None; in VisitBinaryOperator()
728 RTest.TestsFor = CS_None; in VisitBinaryOperator()
961 ThenStates->setState(Test.Var, Test.TestsFor); in splitVarStateForIf()
962 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor)); in splitVarStateForIf()
964 } else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) { in splitVarStateForIf()
967 } else if (VarState == Test.TestsFor) { in splitVarStateForIf()
984 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()
986 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) { in splitVarStateForIfBinOp()
989 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()
990 if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
999 invertConsumedUnconsumed(LTest.TestsFor)); in splitVarStateForIfBinOp()
1001 } else if (LState == LTest.TestsFor) { in splitVarStateForIfBinOp()
1004 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) && in splitVarStateForIfBinOp()
1007 if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
1018 ThenStates->setState(RTest.Var, RTest.TestsFor); in splitVarStateForIfBinOp()
1019 else if (RState == invertConsumedUnconsumed(RTest.TestsFor)) in splitVarStateForIfBinOp()
1025 invertConsumedUnconsumed(RTest.TestsFor)); in splitVarStateForIfBinOp()
1026 else if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
1316 CurrStates->setState(Test.Var, Test.TestsFor); in splitState()
1317 else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) in splitState()
1323 invertConsumedUnconsumed(Test.TestsFor)); in splitState()
1324 else if (VarState == Test.TestsFor) in splitState()