FYI: fix PR 11345

[Doug Evans]

On Thu, Mar 4, 2010 at 9:20 AM, Pedro Alves <pedro@codesourcery.com> wrote:
> Eh, I didn't realize that -Wformat-nonliteral should be of
> for this file.  I now see the sneaky sed above.  That changes
> perpective.
>
>>
>> Could you try Doug's suggestion?
>>
>>     printf_filtered (last_arg, 0);
>>
>> If that doesn't work I will write a loop using strstr.
>
> It works for me, indeed.  But didn't Doug say it didn't
> for him?
>
> On Thursday 04 March 2010 02:56:39, Doug Evans wrote:
>> ... but having tried it I'm seeing "... argument types not checked".
>> Blech.

I was explicitly turning on the warning.
If we adopt the rule that this file can't be compiled with that
warning, that's different.