The switch to out of range code generator switches to the first label. It should be more profitable to switch to a unreachable block. That way, LLVM can take advantage of UB.