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
On 06/08/2018 05: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: > > $ ./xgcc -B. /tmp/main.c -Wchkp -static-libmpxwrappers > xgcc: warning: deprecated command line option ‘-static-