Re: [PATCH] Come up with Deprecated option flag.

2018-06-12 Thread Martin Liška
On 06/11/2018 09:33 PM, Paul Koning wrote: > > >> On Jun 8, 2018, at 7:09 AM, Martin Liška wrote: >> >> Hi. >> >> First follow-up MPX removal patch comes up with Deprecated option flag. >> That prints warning for options that have no effect: > > Should this be mentioned in the internals manual

Re: [PATCH] Come up with Deprecated option flag.

2018-06-11 Thread Paul Koning
> On Jun 8, 2018, at 7:09 AM, Martin Liška wrote: > > Hi. > > First follow-up MPX removal patch comes up with Deprecated option flag. > That prints warning for options that have no effect: Should this be mentioned in the internals manual (section 8.2)? paul

Re: [PATCH] Come up with Deprecated option flag.

2018-06-11 Thread Jeff Law
Come-up-with-Deprecated-option-flag.patch > > > From 0b1473e517373386e674c6736de5007960138d03 Mon Sep 17 00:00:00 2001 > From: marxin > Date: Fri, 8 Jun 2018 10:52:23 +0200 > Subject: [PATCH] Come up with Deprecated option flag. > > gcc/ChangeLog: > > 2018-06-08 Martin Liska >

[PATCH] Come up with Deprecated option flag.

2018-06-08 Thread Martin Liška
option ‘-Wchkp’ Is the string OK, or? Patch can bootstrap on x86_64-linux-gnu and survives regression tests. Ready to be installed? Martin >From 0b1473e517373386e674c6736de5007960138d03 Mon Sep 17 00:00:00 2001 From: marxin Date: Fri, 8 Jun 2018 10:52:23 +0200 Subject: [PATCH] Come up w