diff options
Diffstat (limited to 'gl/lib/randread.h')
| -rw-r--r-- | gl/lib/randread.h | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/gl/lib/randread.h b/gl/lib/randread.h index b5534f301..d4151860b 100644 --- a/gl/lib/randread.h +++ b/gl/lib/randread.h @@ -24,10 +24,15 @@ struct randread_source; -struct randread_source *randread_new (char const *, size_t); -void randread (struct randread_source *, void *, size_t); -void randread_set_handler (struct randread_source *, void (*) (void const *)); -void randread_set_handler_arg (struct randread_source *, void const *); -int randread_free (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; +void randread (struct randread_source *, void *, size_t) + _GL_ATTRIBUTE_NONNULL (); +void randread_set_handler (struct randread_source *, void (*) (void const *)) + _GL_ATTRIBUTE_NONNULL (); +void randread_set_handler_arg (struct randread_source *, void const *) + _GL_ATTRIBUTE_NONNULL ((1)); #endif |