https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118921
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- So `#pragma GCC target` was fixed but `#pragma GCC option` was not. See PR 87299. Looks like it might be an easy fix ...
pinskia at gcc dot gnu.org via Gcc-bugs Tue, 18 Feb 2025 06:25:32 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118921
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- So `#pragma GCC target` was fixed but `#pragma GCC option` was not. See PR 87299. Looks like it might be an easy fix ...