[Bug testsuite/108675] FAIL: gcc.c-torture/execute/builtins/*printf.c when stdio.h includes definitions

[lh_mouse at 126 dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108675

--- Comment #7 from LIU Hao <lh_mouse at 126 dot com> ---
(In reply to nightstrike from comment #5)
> (In reply to LIU Hao from comment #4)
> > Does it make any sense to remove `#include <stdio.h>` from
> > 'gcc.c-torture/execute/builtins/lib/fprintf.c' ?
> 
> That will prevent the FILE type from existing, so the replacement functions
> won't compile.

That file never uses any fields of `FILE` directly. `FILE*` is always passed as
a pointer to `vfprintf()`, so it is perfectly valid to declare

   typedef struct _iobuf FILE;

or even 

   int fprintf (void* fp, const char* fmt, ...);