1// RUN: %clang_cc1 -emit-llvm %s  -o /dev/null
2
3typedef struct _IO_FILE FILE;
4extern FILE *stderr;
5int fprintf(FILE * restrict stream, const char * restrict format, ...);
6
7void test() {
8  fprintf(stderr, "testing\n");
9}
10