Lines Matching refs:markUnreachable
944 ThenStates->markUnreachable(); in splitVarStateForIf()
946 ElseStates->markUnreachable(); in splitVarStateForIf()
964 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()
967 ElseStates->markUnreachable(); in splitVarStateForIfBinOp()
969 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()
976 ElseStates->markUnreachable(); in splitVarStateForIfBinOp()
980 ElseStates->markUnreachable(); in splitVarStateForIfBinOp()
982 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()
992 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()
998 ElseStates->markUnreachable(); in splitVarStateForIfBinOp()
1136 this->markUnreachable(); in intersect()
1172 void ConsumedStateMap::markUnreachable() { in markUnreachable() function in ConsumedStateMap
1278 CurrStates->markUnreachable(); in splitState()
1285 FalseStates->markUnreachable(); in splitState()