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

[smatch.git] / validation / local-label.c

void f(unsigned long ip);
static void g(void)
{
       if (1) {
             f(({ __label__ x; x: (unsigned long)&&x; }));
       }
       f(({ __label__ x; x: (unsigned long)&&x; }));
}
/*
 * check-name: Local label
 */