https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Oh and the manual is not exactly out of date for that version of gcc. So the text you have would be wrong.
pinskia at gcc dot gnu.org via Gcc-bugs Fri, 31 Mar 2023 04:15:38 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109355
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Oh and the manual is not exactly out of date for that version of gcc. So the text you have would be wrong.