implied: use a time based timeout instead of counting ->nr_children

[smatch.git] / validation / backend / load-type.c

extern struct _IO_FILE *stdin;

static void sub(struct _IO_FILE *in) {}

static void test(void) {
        sub(stdin);
}

/*
 * check-name: Type of loaded objects
 * check-command: ./sparsec -c $file -o tmp.o
 */