1*1f5207b7SJohn Levon extern struct _IO_FILE *stdin;
2*1f5207b7SJohn Levon 
sub(struct _IO_FILE * in)3*1f5207b7SJohn Levon static void sub(struct _IO_FILE *in) {}
4*1f5207b7SJohn Levon 
test(void)5*1f5207b7SJohn Levon static 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