root/usr/src/tools/smatch/src/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
 */