959     ThenStates->markUnreachable();  in splitVarStateForIf()
962     ElseStates->markUnreachable();  in splitVarStateForIf()
981         ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
985           ElseStates->markUnreachable();  in splitVarStateForIfBinOp()
987           ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
996         ElseStates->markUnreachable();  in splitVarStateForIfBinOp()
1002           ElseStates->markUnreachable();  in splitVarStateForIfBinOp()
1004           ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
1014         ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
1021         ElseStates->markUnreachable();  in splitVarStateForIfBinOp()
1162     this->markUnreachable();  in intersect()
1198 void ConsumedStateMap::markUnreachable() {  in markUnreachable()  function in clang::consumed::ConsumedStateMap
1312         CurrStates->markUnreachable();  in splitState()
1319         FalseStates->markUnreachable();  in splitState()