https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114873
--- Comment #4 from Joseph S. Myers <jsm28 at gcc dot gnu.org> --- These are not meant to be valid C (although the relevant requirement isn't a Constraint, so a diagnostic isn't required); see the discussion in DR#341.