ialloc: Prepare for allocation-deallocation checking

[Bruno Haible]

As mentioned in 
<https://lists.gnu.org/archive/html/bug-gnulib/2021-08/msg00092.html>,
I believe the attribute will someday be supported also on inline functions.


2021-08-07  Bruno Haible  <bruno@clisp.org>

        ialloc: Prepare for allocation-deallocation checking.
        * lib/ialloc.h (imalloc, irealloc, icalloc): Add comment that
        deallocation must happen through 'free'.

diff --git a/lib/ialloc.h b/lib/ialloc.h
index ebe4aaa..5ceda46 100644
--- a/lib/ialloc.h
+++ b/lib/ialloc.h
@@ -43,13 +43,17 @@ _gl_alloc_nomem (void)
   return NULL;
 }
 
-IALLOC_INLINE void *
+IALLOC_INLINE
+_GL_ATTRIBUTE_MALLOC /*_GL_ATTRIBUTE_DEALLOC_FREE*/
+void *
 imalloc (idx_t s)
 {
   return s <= SIZE_MAX ? malloc (s) : _gl_alloc_nomem ();
 }
 
-IALLOC_INLINE void *
+IALLOC_INLINE
+/*_GL_ATTRIBUTE_DEALLOC_FREE*/
+void *
 irealloc (void *p, idx_t s)
 {
   /* Work around GNU realloc glitch by treating a zero size as if it
@@ -57,7 +61,9 @@ irealloc (void *p, idx_t s)
   return s <= SIZE_MAX ? realloc (p, s | !s) : _gl_alloc_nomem ();
 }
 
-IALLOC_INLINE void *
+IALLOC_INLINE
+_GL_ATTRIBUTE_MALLOC /*_GL_ATTRIBUTE_DEALLOC_FREE*/
+void *
 icalloc (idx_t n, idx_t s)
 {
   if (SIZE_MAX < n)