On Fri, 14 Feb 2020, Richard Biener wrote: > diff --git a/gcc/opts-global.c b/gcc/opts-global.c > index d5e308bf800..52ea083a6d5 100644 > --- a/gcc/opts-global.c > +++ b/gcc/opts-global.c > @@ -139,8 +139,10 @@ print_ignored_options (void) > const char *opt; > > opt = ignored_options.pop (); > - warning_at (UNKNOWN_LOCATION, 0, > - "unrecognized command-line option %qs", opt); > + /* Use inform, not warning_at, to avoid promoting these to errors. */ > + inform (UNKNOWN_LOCATION, > + "unrecognized command-line option %qs may have silenced " > + "earlier diagnostics", opt);
I agree with the principle of the patch, but I don't like the new message text. I don't think "may have silenced" is right; maybe something more like "may have been intended to silence". -- Joseph S. Myers jos...@codesourcery.com
