mbfile: Add comments regarding the counted_by attribute.

* lib/mbfile.h (struct mbfile_multi): Clarify how many elements of the
fields buf and pushback are used.

diff --git a/ChangeLog b/ChangeLog
index ca1cecc4dcf7f2fe07e8224b887bfc7d39a85e68..f0db5a714aab970a215a4113e8a92144a79ca81e 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2026-05-03  Bruno Haible  <bruno@clisp.org>
+
+       mbfile: Add comments regarding the counted_by attribute.
+       * lib/mbfile.h (struct mbfile_multi): Clarify how many elements of the
+       fields buf and pushback are used.
+
 2026-05-03  Bruno Haible  <bruno@clisp.org>
 
        linebuffer: Use the counted_by attribute.

diff --git a/lib/mbfile.h b/lib/mbfile.h
index c88fcffa968640c24e54e4cc9eb8e46ed2b30f56..040feae64f773ef1693c5b36ab0cd305e1425841 100644 (file)
--- a/lib/mbfile.h
+++ b/lib/mbfile.h
@@ -79,8 +79,8 @@ struct mbfile_multi {
   unsigned int pushback_count; /* <= MBFILE_MAX_PUSHBACK */
   mbstate_t state;
   unsigned int bufcount;
-  char buf[MBCHAR_BUF_SIZE];
-  struct mbchar pushback[MBFILE_MAX_PUSHBACK];
+  char buf[MBCHAR_BUF_SIZE]; /* COUNTED_BY (bufcount) */
+  struct mbchar pushback[MBFILE_MAX_PUSHBACK]; /* COUNTED_BY (pushback_count) */
 };
 
 MBFILE_INLINE void