Verify an assumption.

diff --git a/ChangeLog b/ChangeLog
index a7a3c31..f8fa73c 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-12-19  Bruno Haible  <bruno@clisp.org>
+
+       * lib/mbrtowc.c: Include verify.h. Verify an assumption.
+       * modules/mbrtowc (Depends-on): Add verify.
+       Suggested by Paul Eggert.
+
 2008-12-18  Bruno Haible  <bruno@clisp.org>
 
        * modules/mbsinit-tests: New file.

diff --git a/lib/mbrtowc.c b/lib/mbrtowc.c
index f84cd17..e5ae0bc 100644 (file)
--- a/lib/mbrtowc.c
+++ b/lib/mbrtowc.c
@@ -25,8 +25,11 @@
 
 #include "localcharset.h"
 #include "streq.h"
+#include "verify.h"
 
 
+verify (sizeof (mbstate_t) >= 4);
+
 static char internal_state[4];
 
 size_t

diff --git a/modules/mbrtowc b/modules/mbrtowc
index 0965b21..be1ff35 100644 (file)
--- a/modules/mbrtowc
+++ b/modules/mbrtowc
@@ -10,6 +10,7 @@ Depends-on:
 wchar
 localcharset
 streq
+verify
 
 configure.ac:
 gl_FUNC_MBRTOWC