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