xref: /illumos-gate/usr/src/tools/smatch/src/validation/backend/load-type.c (revision 1f5207b7604fb44407eb4342aff613f7c4508508) 
1 extern struct _IO_FILE *stdin;
2 
sub(struct _IO_FILE * in)3 static void sub(struct _IO_FILE *in) {}
4 
test(void)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  */
13