From 1b988ffa957d20661d9b811c1cfe91791743dd93 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 15 Nov 2021 21:30:15 -0800 Subject: [PATCH] maint: fix nonnull decl * gl/lib/randread.h (randread_new): Do not mark with _GL_ATTRIBUTE_RETURNS_NONNULL, since it can return NULL. --- gl/lib/randread.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gl/lib/randread.h b/gl/lib/randread.h index d4151860b6..653a679643 100644 --- a/gl/lib/randread.h +++ b/gl/lib/randread.h @@ -26,8 +26,7 @@ struct randread_source; int randread_free (struct randread_source *) _GL_ATTRIBUTE_NONNULL (); struct randread_source *randread_new (char const *, size_t) - _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randread_free, 1) - _GL_ATTRIBUTE_RETURNS_NONNULL; + _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randread_free, 1); void randread (struct randread_source *, void *, size_t) _GL_ATTRIBUTE_NONNULL (); void randread_set_handler (struct randread_source *, void (*) (void const *)) -- 2.47.2