param_key: use get_name_sym_from_key() instead of return_state_to_var_sym()

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

static int f(int n)
{
        __label__ n;
n:      return n;
}

/*
 * check-name: __label__ scope
 */