test/CodeGen/2002-06-25-FWriteInterfaceFailure.c

// RUN: %clang_cc1 -emit-llvm %s  -o /dev/null

typedef struct _IO_FILE FILE;
extern FILE *stderr;
int fprintf(FILE * restrict stream, const char * restrict format, ...);

void test(void) {
  fprintf(stderr, "testing\n");
}