Hi, in the IA-32/x86-64 section I quote: " Please refer to the user manual for the list of valid CPU names recognized. " The link under the "user manual" words point to " http://gcc.gnu.org/onlinedocs/gcc/X86-Built-in-Functions.html#X86-Built-in-Functions " which does no exists. By the way, the page " http://gcc.gnu.org/onlinedocs/gcc/X86-Built-in-Functions.html " does not exists either.
The correct URL is http://gcc.gnu.org/onlinedocs/gcc/X86-Built_002din-Functions.html#X86-Built_002din-Functions
Though, of course, it is a bad idea to point to trunk onlinedocs which keeps changing. The link should point into gcc-4.8.0 onlinedocs instead, which isn't going to change anymore.
Apologies, I fixed this a while ago but missed updating this report (and close it). Thanks for letting us know!