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

[smatch.git] / validation / backend / array.c

static char array[128];

/*
 * check-name: Array code generation
 * check-command: ./sparsec -c $file -o tmp.o
 */