Lines Matching defs:Test
48 // TODO: Test nested conditionals: A) Checking the same value multiple times,
955 static void splitVarStateForIf(const IfStmt *IfNode, const VarTestResult &Test,
958 ConsumedState VarState = ThenStates->getState(Test.Var);
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) {
1244 // declaration. When it is removed the test needs to be enabled
1311 const VarTestResult &Test = PInfo.getVarTest();
1312 ConsumedState VarState = CurrStates->getState(Test.Var);
1316 CurrStates->setState(Test.Var, Test.TestsFor);
1317 else if (VarState == invertConsumedUnconsumed(Test.TestsFor))
1322 FalseStates->setState(Test.Var,
1323 invertConsumedUnconsumed(Test.TestsFor));
1324 else if (VarState == Test.TestsFor)
