[Bug other/31352] gcc -v --help doesn't notice when front-ends documentation differs for same option

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31352

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-01-13 
22:36:37 UTC ---
On the trunk we get warnings while building GCC about the mismatch of the
documentation of the options.