https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101940
--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Possibly. I thought I'd rather keep the names of the option and pragma the same, but maybe that's not necessary.
mpolacek at gcc dot gnu.org via Gcc-bugs Tue, 17 Aug 2021 07:19:13 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101940
--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Possibly. I thought I'd rather keep the names of the option and pragma the same, but maybe that's not necessary.