965     ThenStates->markUnreachable();  in splitVarStateForIf()
968     ElseStates->markUnreachable();  in splitVarStateForIf()
987         ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
991           ElseStates->markUnreachable();  in splitVarStateForIfBinOp()
993           ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
1002         ElseStates->markUnreachable();  in splitVarStateForIfBinOp()
1008           ElseStates->markUnreachable();  in splitVarStateForIfBinOp()
1010           ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
1020         ThenStates->markUnreachable();  in splitVarStateForIfBinOp()
1027         ElseStates->markUnreachable();  in splitVarStateForIfBinOp()
1168     this->markUnreachable();  in intersect()
1204 void ConsumedStateMap::markUnreachable() {  in markUnreachable()  function in clang::consumed::ConsumedStateMap
1318         CurrStates->markUnreachable();  in splitState()
1325         FalseStates->markUnreachable();  in splitState()