Searched refs:markUnreachable (Results 1 – 2 of 2) sorted by relevance
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()992 ThenStates->markUnreachable(); in splitVarStateForIfBinOp()998 ElseStates->markUnreachable(); in splitVarStateForIfBinOp()1136 this->markUnreachable(); in intersect()1278 CurrStates->markUnreachable(); in splitState()[all …]
183 void markUnreachable();