debug: add __smatch_type() which prints the type of the argument

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

static int f(int n)
{
        __label__ n;
n:      return n;
}
static int g(int n)
{
n:      return n;
}
/*
 * check-name: __label__ scope
 */