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