https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101223
--- Comment #10 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> --- > How can one write 0 - 1 in 1-bit signed though? 1 isn't in the range... > One can only do 0 + -1 which doesn't overflow, or 0 - -1 which does. Ah, yeah, of course. So the issue that 1 doesn't even exist as a representation for 1-bit signed. Sorry for the noise…