https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114484
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note this header has been this way for almost 20 years too ...
pinskia at gcc dot gnu.org via Gcc-bugs Tue, 26 Mar 2024 09:28:08 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114484
--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note this header has been this way for almost 20 years too ...