Verify an assumption.

diff --git a/ChangeLog b/ChangeLog
index a7a3c31f248af621a23cf1792d2a7ef33a59e471..f8fa73cd8545192a994b2eb12babea246a9df20a 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 f84cd172cab0746e89a6dc6d06420d8e12988083..e5ae0bcc357dcfa6d8afd93265455184a958e7e1 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 0965b214a36d66a8750b41f0792156011543fd39..be1ff3590a76718509928eef6eeb41acde3da9b8 100644 (file)
--- a/modules/mbrtowc
+++ b/modules/mbrtowc
@@ -10,6 +10,7 @@ Depends-on:
 wchar
 localcharset
 streq
+verify
 
 configure.ac:
 gl_FUNC_MBRTOWC