https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107954
Joseph S. Myers <jsm28 at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |14.0
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #8 from Joseph S. Myers <jsm28 at gcc dot gnu.org> ---
These option names have now been implemented, and all references to the old
names updated in the source tree except for documentation and tests
specifically for the old names, given the preference in WG14 to keep C23 as the
informal name despite the 2024 publication date, and the view at the Cauldron
that it's thus now time to add these options to GCC.
