https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107651
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|INVALID |--- Status|RESOLVED |NEW Ever confirmed|0 |1 Last reconfirmed| |2022-11-13 --- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Your index page has both options and symbols intermixed and not two different pages. Funny how you said one thing and it is exact opposite. Also that page is not linked anywhere from the site. Oh also the formatting on some of things looks off. Look at x86 and you will see what I am talking about.