reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
325 VarTest.Var = Var; 344 BinTest.LTest.Var = LVar; 346 BinTest.RTest.Var = RVar; 428 return PropagationInfo(VarTest.Var, 434 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor), 435 BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor)); 713 LTest.Var = nullptr; 720 RTest.Var = nullptr; 724 if (!(LTest.Var == nullptr && RTest.Var == nullptr)) 724 if (!(LTest.Var == nullptr && RTest.Var == nullptr)) 938 ConsumedState VarState = ThenStates->getState(Test.Var); 941 ThenStates->setState(Test.Var, Test.TestsFor); 942 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor)); 956 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, 956 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, 957 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None; 957 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None; 959 if (LTest.Var) { 962 ThenStates->setState(LTest.Var, LTest.TestsFor); 973 ElseStates->setState(LTest.Var, 987 if (RTest.Var) { 990 ThenStates->setState(RTest.Var, RTest.TestsFor); 995 ElseStates->setState(RTest.Var, 1272 ConsumedState VarState = CurrStates->getState(Test.Var); 1276 CurrStates->setState(Test.Var, Test.TestsFor); 1282 FalseStates->setState(Test.Var,