https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114007
--- Comment #14 from Richard Sandiford <rsandifo at gcc dot gnu.org> --- I might have misunderstood the suggestion and so be arguing against something that no-one is suggesting, but I think [[__extension__ …]] should accept the same things for all standard versions (C23, pre-C23, and GNU). It was intended to be something that header files and macros could use without needing to be sensitive to the user's choice of standard.