https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125653
--- Comment #5 from Sam James <sjames at gcc dot gnu.org> ---
(In reply to Sam James from comment #3)
> Created attachment 64659 [details]
> vfprintf-internal.i.xz
>
> stdio-common/vfprintf-internal.c's Xprintf_buffer is miscompiled. Attached
> vfprintf-internal.i.
Xaprintf_buffer gets expanded to __printf_buffer there:
void
__printf_buffer (struct __printf_buffer *buf, const char *format,
va_list ap, unsigned int mode_flags)
{
...
