validation/backend/load-type.c

   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  */