sparsegen/sparse/validation/goto-label.c

void foo(void)
{
	goto a;
a:
a:
	return;
}

void g(void)
{
	goto a;
a:
	return;
}

void bar(void)
{
	goto neverland;
}

/*
 * check-name: goto labels
 *
 * check-error-start
goto-label.c:5:1: error: label 'a' redefined
goto-label.c:18:9: error: label 'neverland' was not declared
 * check-error-end
 */