3 // { dg-options "-O2" }
7 typedef struct _IO_FILE FILE;
8 extern int __fprintf_chk (FILE *, int, const char *, ...);
9 extern inline __attribute__ ((always_inline, gnu_inline, artificial))
10 int fprintf (FILE *s, const char *f, ...)
12 return __fprintf_chk (s, 1, f, __builtin_va_arg_pack ());
34 for (int i = 0; i < 6; i++)
35 fprintf (b, "%02x", 0xff);
36 fprintf (b, "\n--\n");