>From d3e19d84d753ee5298701ffc5c872fd47577d653 Mon Sep 17 00:00:00 2001
From: Bruno Haible <address@hidden>
Date: Tue, 31 Dec 2019 19:37:01 +0100
Subject: [PATCH 2/3] uchar: Add tests.

* tests/test-uchar.c: New file.
* modules/uchar-tests: New file.
---
 ChangeLog           |  4 ++++
 modules/uchar-tests | 12 ++++++++++++
 tests/test-uchar.c  | 42 ++++++++++++++++++++++++++++++++++++++++++
 3 files changed, 58 insertions(+)
 create mode 100644 modules/uchar-tests
 create mode 100644 tests/test-uchar.c

diff --git a/ChangeLog b/ChangeLog
index 7d4c550..6d501b8 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2019-12-31  Bruno Haible  <address@hidden>
 
+	uchar: Add tests.
+	* tests/test-uchar.c: New file.
+	* modules/uchar-tests: New file.
+
 	uchar: New module.
 	* lib/uchar.in.h: New file.
 	* m4/uchar.m4: New file.
diff --git a/modules/uchar-tests b/modules/uchar-tests
new file mode 100644
index 0000000..2dab718
--- /dev/null
+++ b/modules/uchar-tests
@@ -0,0 +1,12 @@
+Files:
+tests/test-uchar.c
+
+Depends-on:
+verify
+uchar-c++-tests
+
+configure.ac:
+
+Makefile.am:
+TESTS += test-uchar
+check_PROGRAMS += test-uchar
diff --git a/tests/test-uchar.c b/tests/test-uchar.c
new file mode 100644
index 0000000..0301619
--- /dev/null
+++ b/tests/test-uchar.c
@@ -0,0 +1,42 @@
+/* Test of <uchar.h> substitute.
+   Copyright (C) 2019 Free Software Foundation, Inc.
+
+   This program is free software: you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 3 of the License, or
+   (at your option) any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program.  If not, see <https://www.gnu.org/licenses/>.  */
+
+/* Written by Bruno Haible <address@hidden>, 2019.  */
+
+#include <config.h>
+
+#include <uchar.h>
+
+#include "verify.h"
+
+/* Check that the types are defined.  */
+mbstate_t a = { 0 };
+size_t b = 5;
+char16_t c = 'x';
+char32_t d = 'y';
+
+/* Check that char16_t and char32_t are unsigned types.  */
+verify ((char16_t)(-1) >= 0);
+verify ((char32_t)(-1) >= 0);
+
+/* Check that char32_t is at least 31 bits wide.  */
+verify ((char32_t)0x7FFFFFFF != (char32_t)0x3FFFFFFF);
+
+int
+main (void)
+{
+  return 0;
+}
-- 
2.7.4