handle label attributes

[smatch.git] / validation / bad-cast.c

struct st;

static int foo(int a)
{
        return (struct/st *) a;
}