Re: [PATCH opt*.awk/middle-end] Detect wrong arguments to EnabledBy

2015-08-09 Thread Manuel López-Ibáñez
On 9 August 2015 at 16:29, Joseph Myers wrote: > On Sat, 8 Aug 2015, Manuel López-Ibáñez wrote: > >> The argument to EnabledBy() must be one or more options with the >> Common flag, otherwise the setting is silently ignored. This patch >> detects this case when generating the options.c file and gi

Re: [PATCH opt*.awk/middle-end] Detect wrong arguments to EnabledBy

2015-08-09 Thread Joseph Myers
On Sat, 8 Aug 2015, Manuel López-Ibáñez wrote: > The argument to EnabledBy() must be one or more options with the > Common flag, otherwise the setting is silently ignored. This patch > detects this case when generating the options.c file and gives an > appropriate error. There were two options suf

[PATCH opt*.awk/middle-end] Detect wrong arguments to EnabledBy

2015-08-08 Thread Manuel López-Ibáñez
The argument to EnabledBy() must be one or more options with the Common flag, otherwise the setting is silently ignored. This patch detects this case when generating the options.c file and gives an appropriate error. There were two options suffering from this: -Wchkp is fixed by using LangEnabledBy