Searched refs:ThenStates (Results 1 – 1 of 1) sorted by relevance
950 ConsumedStateMap *ThenStates, in splitVarStateForIf() argument953 ConsumedState VarState = ThenStates->getState(Test.Var); in splitVarStateForIf()956 ThenStates->setState(Test.Var, Test.TestsFor); in splitVarStateForIf()960 ThenStates->markUnreachable(); in splitVarStateForIf()968 ConsumedStateMap *ThenStates, ConsumedStateMap *ElseStates) { in splitVarStateForIfBinOp() argument973 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()974 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None; in splitVarStateForIfBinOp()979 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()982 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()988 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()[all …]