From 97020df1c106f5f06f2e06ca4d27c7c7dd878087 Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Fri, 19 Dec 2008 12:54:07 +0100
Subject: [PATCH] Verify an assumption.

---
 ChangeLog       | 6 ++++++
 lib/mbrtowc.c   | 3 +++
 modules/mbrtowc | 1 +
 3 files changed, 10 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index a7a3c31f2..f8fa73cd8 100644
--- 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 f84cd172c..e5ae0bcc3 100644
--- 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 0965b214a..be1ff3590 100644
--- a/modules/mbrtowc
+++ b/modules/mbrtowc
@@ -10,6 +10,7 @@ Depends-on:
 wchar
 localcharset
 streq
+verify
 
 configure.ac:
 gl_FUNC_MBRTOWC
-- 
2.11.0