> > I think this is a bug in GCC but not sure where. > It is possible that the output returned by --help is not correct, see > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60481 > It is also possible that the documentation is outdated. > > The only way to be sure is to look at the source code and see what is > actually being enabled/disabled. I would suggest to open a bug report > and add there as much info as you can find. > > Cheers, > > Manuel. A bug has been filed. Link: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61588 Andy