Re: [PATCH] c/86134 avoid errors for unrecognized -Wno- options

2020-02-17 Thread Richard Biener
, 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". I've pushed the following variant then. Thanks, Richard. >From b0215b75a41ffdddb8a5fd5bcc16dcc455e69006 Mon Sep 1

Re: [PATCH] c/86134 avoid errors for unrecognized -Wno- options

2020-02-14 Thread Joseph Myers
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 =

[PATCH] c/86134 avoid errors for unrecognized -Wno- options

2020-02-14 Thread Richard Biener
This makes sure to not promote diagnostics about unrecognized -Wno- options to errors and make the intent of the diagnostic clearer. Bootstrapped and tested on x86_64-unknown-linux-gnu, OK for trunk? Thanks, Richard. 2020-02-14 Richard Biener PR c/86134 * opts-global.c