Lines Matching refs:TestsFor

280   ConsumedState TestsFor;  member
323 PropagationInfo(const VarDecl *Var, ConsumedState TestsFor) in PropagationInfo() argument
326 VarTest.TestsFor = TestsFor; in PropagationInfo()
345 BinTest.LTest.TestsFor = LTestsFor; in PropagationInfo()
347 BinTest.RTest.TestsFor = RTestsFor; in PropagationInfo()
429 invertConsumedUnconsumed(VarTest.TestsFor)); in invertTest()
434 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor), in invertTest()
435 BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor)); in invertTest()
714 LTest.TestsFor = CS_None; in VisitBinaryOperator()
721 RTest.TestsFor = CS_None; in VisitBinaryOperator()
941 ThenStates->setState(Test.Var, Test.TestsFor); in splitVarStateForIf()
942 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor)); in splitVarStateForIf()
943 } else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) { in splitVarStateForIf()
945 } else if (VarState == Test.TestsFor) { in splitVarStateForIf()
962 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()
963 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) { in splitVarStateForIfBinOp()
965 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()
966 if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
974 invertConsumedUnconsumed(LTest.TestsFor)); in splitVarStateForIfBinOp()
975 } else if (LState == LTest.TestsFor) { in splitVarStateForIfBinOp()
977 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) && in splitVarStateForIfBinOp()
979 if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
990 ThenStates->setState(RTest.Var, RTest.TestsFor); in splitVarStateForIfBinOp()
991 else if (RState == invertConsumedUnconsumed(RTest.TestsFor)) in splitVarStateForIfBinOp()
996 invertConsumedUnconsumed(RTest.TestsFor)); in splitVarStateForIfBinOp()
997 else if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
1276 CurrStates->setState(Test.Var, Test.TestsFor); in splitState()
1277 else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) in splitState()
1283 invertConsumedUnconsumed(Test.TestsFor)); in splitState()
1284 else if (VarState == Test.TestsFor) in splitState()