Searched refs:ThenStates (Results 1 – 1 of 1) sorted by relevance
950 ConsumedStateMap *ThenStates, in splitVarStateForIf() argument952 ConsumedState VarState = ThenStates->getState(Test.Var); in splitVarStateForIf()955 ThenStates->setState(Test.Var, Test.TestsFor); in splitVarStateForIf()959 ThenStates->markUnreachable(); in splitVarStateForIf()967 ConsumedStateMap *ThenStates, in splitVarStateForIfBinOp() argument972 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()973 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None; in splitVarStateForIfBinOp()978 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()981 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()987 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()[all …]