Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-11 Thread Martin Liška
On 9/10/19 6:48 PM, Jakub Jelinek wrote: > On Tue, Sep 10, 2019 at 05:46:14PM +0100, Richard Sandiford wrote: >> Jakub Jelinek writes: >>> On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote: On 9/9/19 11:14 PM, Joseph Myers wrote: > On Mon, 9 Sep 2019, Jakub Jelinek wrote: >

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-10 Thread Segher Boessenkool
On Tue, Sep 10, 2019 at 05:46:14PM +0100, Richard Sandiford wrote: > Jakub Jelinek writes: > > On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote: > >> On 9/9/19 11:14 PM, Joseph Myers wrote: > >> > On Mon, 9 Sep 2019, Jakub Jelinek wrote: > >> > > >> > > > "IgnoreWarn" reads as "ignore

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-10 Thread Jakub Jelinek
On Tue, Sep 10, 2019 at 05:46:14PM +0100, Richard Sandiford wrote: > Jakub Jelinek writes: > > On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote: > >> On 9/9/19 11:14 PM, Joseph Myers wrote: > >> > On Mon, 9 Sep 2019, Jakub Jelinek wrote: > >> > > >> > > > "IgnoreWarn" reads as "ignore

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-10 Thread Richard Sandiford
Jakub Jelinek writes: > On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote: >> On 9/9/19 11:14 PM, Joseph Myers wrote: >> > On Mon, 9 Sep 2019, Jakub Jelinek wrote: >> > >> > > > "IgnoreWarn" reads as "ignore the warning". >> > > > >> > > > If we want it named as two things, can we jus

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-10 Thread Jakub Jelinek
On Tue, Sep 10, 2019 at 06:14:11PM +0200, Martin Liška wrote: > On 9/9/19 11:14 PM, Joseph Myers wrote: > > On Mon, 9 Sep 2019, Jakub Jelinek wrote: > > > > > > "IgnoreWarn" reads as "ignore the warning". > > > > > > > > If we want it named as two things, can we just make it two things? > > > > "

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-10 Thread Martin Liška
On 9/9/19 11:14 PM, Joseph Myers wrote: On Mon, 9 Sep 2019, Jakub Jelinek wrote: "IgnoreWarn" reads as "ignore the warning". If we want it named as two things, can we just make it two things? "Ignore WarnDeleted" or something. Which also says what it is warning about. Or WarnRemoved. Both

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-09 Thread Joseph Myers
On Mon, 9 Sep 2019, Jakub Jelinek wrote: > > "IgnoreWarn" reads as "ignore the warning". > > > > If we want it named as two things, can we just make it two things? > > "Ignore WarnDeleted" or something. Which also says what it is warning > > about. > > Or WarnRemoved. Both work for me, but ult

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-09 Thread Jakub Jelinek
On Mon, Sep 09, 2019 at 09:08:43AM -0500, Segher Boessenkool wrote: > On Mon, Sep 09, 2019 at 04:04:01PM +0200, Jakub Jelinek wrote: > > On Mon, Sep 09, 2019 at 08:56:17AM -0500, Segher Boessenkool wrote: > > > Hi Martin, > > > > > > On Mon, Sep 09, 2019 at 03:04:20PM +0200, Martin Liška wrote: >

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-09 Thread Segher Boessenkool
On Mon, Sep 09, 2019 at 04:04:01PM +0200, Jakub Jelinek wrote: > On Mon, Sep 09, 2019 at 08:56:17AM -0500, Segher Boessenkool wrote: > > Hi Martin, > > > > On Mon, Sep 09, 2019 at 03:04:20PM +0200, Martin Liška wrote: > > > I'm suggesting to rename Deprecated to IgnoreWarn > > > > That is an even

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-09 Thread Jakub Jelinek
On Mon, Sep 09, 2019 at 08:56:17AM -0500, Segher Boessenkool wrote: > Hi Martin, > > On Mon, Sep 09, 2019 at 03:04:20PM +0200, Martin Liška wrote: > > I'm suggesting to rename Deprecated to IgnoreWarn > > That is an even worse name IMO. > > Just call it Removed or Deleted or something like that?

Re: [PATCH] Rename Deprecated to IgnoreWarn in *.opt files.

2019-09-09 Thread Segher Boessenkool
Hi Martin, On Mon, Sep 09, 2019 at 03:04:20PM +0200, Martin Liška wrote: > I'm suggesting to rename Deprecated to IgnoreWarn That is an even worse name IMO. Just call it Removed or Deleted or something like that? Something that says what it _is_, not something that is an amalgamate of how we sh