2 // Test if builtins with FILE * arguments work
3 // { dg-options "-O2 -Wformat" }
5 typedef struct _FILE FILE;
7 extern "C" int printf (__const char *__restrict, ...);
8 extern "C" int fprintf (FILE *__restrict, __const char *__restrict, ...);
12 printf ("%d\n", 1, 1); // { dg-warning "too many arguments for format" }
13 fprintf (stderr, "%d\n", 1, 1); // { dg-warning "too many arguments for format" }