On 22 April 2012 22:09, Gabriel Dos Reis <g...@integrable-solutions.net> wrote: > On Sun, Apr 22, 2012 at 2:15 PM, Jason Merrill <ja...@redhat.com> wrote: >> On 04/22/2012 02:42 PM, Manuel López-Ibáńez wrote: >>> >>> Which seems to suggest that we add an option name for each pedwarn >>> enabled by default. Is this also what you suggest? >> >> >> I agree with this, and I think that's also what Gaby was suggesting by >> "finer-grained". > > Indeed.
Fine, this makes sense to me. I opened PR c/53075 to track this. However, adding one option for each pedwarn is a huge task that seems unlikely to be ever completed. Cheers, Manuel.