Lines Matching defs:Test
52 // TODO: Test nested conditionals: A) Checking the same value multiple times,
935 static void splitVarStateForIf(const IfStmt *IfNode, const VarTestResult &Test,
938 ConsumedState VarState = ThenStates->getState(Test.Var);
941 ThenStates->setState(Test.Var, Test.TestsFor);
942 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor));
943 } else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) {
945 } else if (VarState == Test.TestsFor) {
1271 const VarTestResult &Test = PInfo.getVarTest();
1272 ConsumedState VarState = CurrStates->getState(Test.Var);
1276 CurrStates->setState(Test.Var, Test.TestsFor);
1277 else if (VarState == invertConsumedUnconsumed(Test.TestsFor))
1282 FalseStates->setState(Test.Var,
1283 invertConsumedUnconsumed(Test.TestsFor));
1284 else if (VarState == Test.TestsFor)