> -----Original Message----- > > 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. Thank you Manuel. I will do this today (I hope). Andy
