From 3027aa6ca571af18692b56afc267d4e467b7be91 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sun, 16 Jan 2022 19:56:17 -0800 Subject: [PATCH 03/10] shred: fix declaration typo * gl/lib/randint.h (randint_all_new): Do not declare with _GL_ATTRIBUTE_NONNULL (), as the arg can be a null pointer. This fixes a typo added in 2021-11-01T05:30:28Z!eggert@cs.ucla.edu. --- gl/lib/randint.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gl/lib/randint.h b/gl/lib/randint.h index b9721f3f5..775d1b775 100644 --- a/gl/lib/randint.h +++ b/gl/lib/randint.h @@ -38,8 +38,7 @@ struct randint_source *randint_new (struct randread_source *) _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randint_free, 1) _GL_ATTRIBUTE_NONNULL () _GL_ATTRIBUTE_RETURNS_NONNULL; struct randint_source *randint_all_new (char const *, size_t) - _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randint_all_free, 1) - _GL_ATTRIBUTE_NONNULL (); + _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randint_all_free, 1); struct randread_source *randint_get_source (struct randint_source const *) _GL_ATTRIBUTE_NONNULL () _GL_ATTRIBUTE_PURE; randint randint_genmax (struct randint_source *, randint genmax) -- 2.32.0