956                                ConsumedStateMap *ThenStates,  in splitVarStateForIf()  argument
958   ConsumedState VarState = ThenStates->getState(Test.Var);  in splitVarStateForIf()
961     ThenStates->setState(Test.Var, Test.TestsFor);  in splitVarStateForIf()
965     ThenStates->markUnreachable();  in splitVarStateForIf()
973                                     ConsumedStateMap *ThenStates,  in splitVarStateForIfBinOp()  argument
978   ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None,  in splitVarStateForIfBinOp()
979                 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None;  in splitVarStateForIfBinOp()
984         ThenStates->setState(LTest.Var, LTest.TestsFor);  in splitVarStateForIfBinOp()
987         ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
993           ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
1010           ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
1018         ThenStates->setState(RTest.Var, RTest.TestsFor);  in splitVarStateForIfBinOp()
1020         ThenStates->markUnreachable();  in splitVarStateForIfBinOp()