New module 'unicase/u8-casecmp'.

[pspp] / lib / mbsinit.c

diff --git a/lib/mbsinit.c b/lib/mbsinit.c
index 2753b4175b6ee3b7852d17d3d4cff486ba6a2e64..81fed5a12b8849a8df57809aeddc139bdb201b88 100644 (file)
--- a/lib/mbsinit.c
+++ b/lib/mbsinit.c
@@ -20,6 +20,8 @@
 /* Specification.  */
 #include <wchar.h>
 
+#include "verify.h"
+
 /* Platforms that lack mbsinit() also lack mbrlen(), mbrtowc(), mbsrtowcs()
    and wcrtomb(), wcsrtombs().
    We assume that
@@ -34,6 +36,8 @@
      - In wc -> mb direction, mbstate_t contains no information. In other
        words, it is always in the initial state.  */
 
+verify (sizeof (mbstate_t) >= 4);
+
 int
 mbsinit (const mbstate_t *ps)
 {