Searched refs:ThenStates (Results 1 – 1 of 1) sorted by relevance
929 ConsumedStateMap *ThenStates, in splitVarStateForIf() argument931 ConsumedState VarState = ThenStates->getState(Test.Var); in splitVarStateForIf()934 ThenStates->setState(Test.Var, Test.TestsFor); in splitVarStateForIf()937 ThenStates->markUnreachable(); in splitVarStateForIf()944 ConsumedStateMap *ThenStates, in splitVarStateForIfBinOp() argument949 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()950 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None; in splitVarStateForIfBinOp()955 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()957 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()962 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()[all …]