Searched refs:ThenStates (Results 1 – 1 of 1) sorted by relevance
956 ConsumedStateMap *ThenStates, in splitVarStateForIf() argument958 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() argument978 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()[all …]