---
> On Thu, 21 Aug 2014, philipp_s...@redfish-solutions.com wrote:
>
>> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47781
>>
>> --- Comment #8 from Philip Prindeville
>> ---
>> (In reply to jos...@codesourcery.com from comment #4)
>>
>>> For
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=47781
--- Comment #8 from Philip Prindeville ---
(In reply to jos...@codesourcery.com from comment #4)
> For the general issue, my inclination is that we should add plugin hooks
> into the format checking machinery that allow plugins to define format