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