Re: declarations after a case statement

Same thing for declaration after after a label.

$ ./smatch test.c
test.c:5:9: error: typename in expression
test.c:5:14: error: Expected ; at end of statement
test.c:5:14: error: got b
test.c:5 func() warn: statement has no effect 'char'

void func(int a)
{
        goto out;
out:
        char b;
        b = 1;
}

regards,
dan carpenter