checking_for_null_instead_of_err_ptr: use smatch_kernel_err_ptr.c

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

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

/*
 * check-name: __label__ scope
 */