Comment by SAI_Peregrinus

I think it means what you think is ridiculous. Shifting the sign bit out is UB. Unrepresentable results are UB.