1 extern struct _IO_FILE *stdin;
   2 
   3 static void sub(struct _IO_FILE *in) {}
   4 
   5 static void test(void) {
   6         sub(stdin);
   7 }
   8 
   9 /*
  10  * check-name: Type of loaded objects
  11  * check-command: sparsec -c $file -o tmp.o
  12  */