-
Michael Beck authored
The gain from using an extra Unreachable is rather low, plus the noreturn call must probably be keeped anyway, so revrt it again [r27898]
5416fa0f
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The gain from using an extra Unreachable is rather low, plus the noreturn call must probably be keeped anyway, so revrt it again [r27898]