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

2020-02-17 Thread Richard Biener
On Fri, 14 Feb 2020, Joseph Myers wrote: > 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) >

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 = ignored_optio