Lines Matching refs:TestsFor

281   ConsumedState TestsFor;  member
324 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor) in PropagationInfo() argument
327 VarTest.TestsFor = TestsFor; in PropagationInfo()
346 BinTest.LTest.TestsFor = LTestsFor; in PropagationInfo()
348 BinTest.RTest.TestsFor = RTestsFor; in PropagationInfo()
430 invertConsumedUnconsumed(VarTest.TestsFor)); in invertTest()
435 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor), in invertTest()
436 BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor)); in invertTest()
715 LTest.TestsFor = CS_None; in VisitBinaryOperator()
722 RTest.TestsFor = CS_None; in VisitBinaryOperator()
942 ThenStates->setState(Test.Var, Test.TestsFor); in splitVarStateForIf()
943 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor)); in splitVarStateForIf()
944 } else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) { in splitVarStateForIf()
946 } else if (VarState == Test.TestsFor) { in splitVarStateForIf()
963 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()
964 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) { in splitVarStateForIfBinOp()
966 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()
967 if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
975 invertConsumedUnconsumed(LTest.TestsFor)); in splitVarStateForIfBinOp()
976 } else if (LState == LTest.TestsFor) { in splitVarStateForIfBinOp()
978 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) && in splitVarStateForIfBinOp()
980 if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
991 ThenStates->setState(RTest.Var, RTest.TestsFor); in splitVarStateForIfBinOp()
992 else if (RState == invertConsumedUnconsumed(RTest.TestsFor)) in splitVarStateForIfBinOp()
997 invertConsumedUnconsumed(RTest.TestsFor)); in splitVarStateForIfBinOp()
998 else if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
1277 CurrStates->setState(Test.Var, Test.TestsFor); in splitState()
1278 else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) in splitState()
1284 invertConsumedUnconsumed(Test.TestsFor)); in splitState()
1285 else if (VarState == Test.TestsFor) in splitState()