https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117021
--- Comment #3 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- That paragraph is there. As a Constraint, it needs a pedwarn or hard error (for both the sign and overflow cases). The claim in the paper that it's already a hard error in GCC is incorrect.
