Re: [PATCH] c: Add support for [[__extension__ ...]]

On Fri, 18 Aug 2023, Richard Sandiford via Gcc-patches wrote: > [[]] attributes are a recent addition to C, but as a GNU extension, > GCC allows them to be used in C11 and earlier. Normally this use > would trigger a pedwarn (for -pedantic, -Wc11-c2x-compat, etc.). > > This patch allows the pedw

Re: [PATCH] c: Add support for [[__extension__ ...]]

Richard Sandiford writes: > Joseph Myers writes: >> On Wed, 16 Aug 2023, Richard Sandiford via Gcc-patches wrote: >> >>> Would it be OK to add support for: >>> >>> [[__extension__ ...]] >>> >>> to suppress the pedwarn about using [[]] prior to C2X? Then we can >> >> That seems like a plausib

Re: [PATCH] c: Add support for [[__extension__ ...]]

Richard Biener writes: >> Am 17.08.2023 um 13:25 schrieb Richard Sandiford via Gcc-patches >> : >> >> Joseph Myers writes: On Wed, 16 Aug 2023, Richard Sandiford via Gcc-patches wrote: Would it be OK to add support for: [[__extension__ ...]] to suppress t

Re: [PATCH] c: Add support for [[__extension__ ...]]

> Am 17.08.2023 um 13:25 schrieb Richard Sandiford via Gcc-patches > : > > Joseph Myers writes: >>> On Wed, 16 Aug 2023, Richard Sandiford via Gcc-patches wrote: >>> >>> Would it be OK to add support for: >>> >>> [[__extension__ ...]] >>> >>> to suppress the pedwarn about using [[]] prio

[PATCH] c: Add support for [[__extension__ ...]]

Joseph Myers writes: > On Wed, 16 Aug 2023, Richard Sandiford via Gcc-patches wrote: > >> Would it be OK to add support for: >> >> [[__extension__ ...]] >> >> to suppress the pedwarn about using [[]] prior to C2X? Then we can > > That seems like a plausible feature to add. Thanks. Of course