c32ispunct: Add tests.

* tests/test-c32ispunct.c: New file.
* tests/test-c32ispunct.sh: New file.
* modules/c32ispunct-tests: New file.

4 files changed, 390 insertions, 0 deletions

diff --git a/ChangeLog b/ChangeLog
index a3d03e5a86..7e75be44dd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2020-01-25  Bruno Haible  <bruno@clisp.org>
 
+	c32ispunct: Add tests.
+	* tests/test-c32ispunct.c: New file.
+	* tests/test-c32ispunct.sh: New file.
+	* modules/c32ispunct-tests: New file.
+
 	c32ispunct: New module.
 	* lib/c32ispunct.c: New file.
 	* modules/c32ispunct: New file.
diff --git a/modules/c32ispunct-tests b/modules/c32ispunct-tests
new file mode 100644
index 0000000000..2e1ee9526f
--- /dev/null
+++ b/modules/c32ispunct-tests
@@ -0,0 +1,29 @@
+Files:
+tests/test-c32ispunct.sh
+tests/test-c32ispunct.c
+tests/signature.h
+tests/macros.h
+m4/locale-fr.m4
+m4/locale-ja.m4
+m4/locale-zh.m4
+m4/codeset.m4
+
+Depends-on:
+mbrtoc32
+setlocale
+
+configure.ac:
+gt_LOCALE_FR
+gt_LOCALE_FR_UTF8
+gt_LOCALE_JA
+gt_LOCALE_ZH_CN
+
+Makefile.am:
+TESTS += test-c32ispunct.sh
+TESTS_ENVIRONMENT += \
+  LOCALE_FR='@LOCALE_FR@' \
+  LOCALE_FR_UTF8='@LOCALE_FR_UTF8@' \
+  LOCALE_JA='@LOCALE_JA@' \
+  LOCALE_ZH_CN='@LOCALE_ZH_CN@'
+check_PROGRAMS += test-c32ispunct
+test_c32ispunct_LDADD = $(LDADD) $(LIB_SETLOCALE) $(LIB_MBRTOWC)
diff --git a/tests/test-c32ispunct.c b/tests/test-c32ispunct.c
new file mode 100644
index 0000000000..5856c573c4
--- /dev/null
+++ b/tests/test-c32ispunct.c
@@ -0,0 +1,317 @@
+/* Test of c32ispunct() function.
+   Copyright (C) 2020 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/>.  */
+
+#include <config.h>
+
+#include <uchar.h>
+
+#include "signature.h"
+SIGNATURE_CHECK (c32ispunct, int, (wint_t));
+
+#include <locale.h>
+#include <stdlib.h>
+#include <string.h>
+#include <wchar.h>
+
+#include "macros.h"
+
+/* Returns the value of c32ispunct for the multibyte character s[0..n-1].  */
+static int
+for_character (const char *s, size_t n)
+{
+  mbstate_t state;
+  char32_t wc;
+  size_t ret;
+
+  memset (&state, '\0', sizeof (mbstate_t));
+  wc = (char32_t) 0xBADFACE;
+  ret = mbrtoc32 (&wc, s, n, &state);
+  ASSERT (ret == n);
+
+  return c32ispunct (wc);
+}
+
+int
+main (int argc, char *argv[])
+{
+  int is;
+  char buf[4];
+
+  /* configure should already have checked that the locale is supported.  */
+  if (setlocale (LC_ALL, "") == NULL)
+    return 1;
+
+  /* Test WEOF.  */
+  is = c32ispunct (WEOF);
+  ASSERT (is == 0);
+
+  /* Test single-byte characters.
+     POSIX specifies in
+       <https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap07.html>
+     no explicit list of punctuation or symbol characters.  */
+  {
+    int c;
+
+    for (c = 0; c < 0x100; c++)
+      switch (c)
+        {
+        case '\t': case '\v': case '\f':
+        case ' ': case '!': case '"': case '#': case '%':
+        case '&': case '\'': case '(': case ')': case '*':
+        case '+': case ',': case '-': case '.': case '/':
+        case '0': case '1': case '2': case '3': case '4':
+        case '5': case '6': case '7': case '8': case '9':
+        case ':': case ';': case '<': case '=': case '>':
+        case '?':
+        case 'A': case 'B': case 'C': case 'D': case 'E':
+        case 'F': case 'G': case 'H': case 'I': case 'J':
+        case 'K': case 'L': case 'M': case 'N': case 'O':
+        case 'P': case 'Q': case 'R': case 'S': case 'T':
+        case 'U': case 'V': case 'W': case 'X': case 'Y':
+        case 'Z':
+        case '[': case '\\': case ']': case '^': case '_':
+        case 'a': case 'b': case 'c': case 'd': case 'e':
+        case 'f': case 'g': case 'h': case 'i': case 'j':
+        case 'k': case 'l': case 'm': case 'n': case 'o':
+        case 'p': case 'q': case 'r': case 's': case 't':
+        case 'u': case 'v': case 'w': case 'x': case 'y':
+        case 'z': case '{': case '|': case '}': case '~':
+          /* c is in the ISO C "basic character set".  */
+          buf[0] = (unsigned char) c;
+          is = for_character (buf, 1);
+          switch (c)
+            {
+            case ' ':
+            case '0': case '1': case '2': case '3': case '4':
+            case '5': case '6': case '7': case '8': case '9':
+            case 'A': case 'B': case 'C': case 'D': case 'E':
+            case 'F': case 'G': case 'H': case 'I': case 'J':
+            case 'K': case 'L': case 'M': case 'N': case 'O':
+            case 'P': case 'Q': case 'R': case 'S': case 'T':
+            case 'U': case 'V': case 'W': case 'X': case 'Y':
+            case 'Z':
+            case 'a': case 'b': case 'c': case 'd': case 'e':
+            case 'f': case 'g': case 'h': case 'i': case 'j':
+            case 'k': case 'l': case 'm': case 'n': case 'o':
+            case 'p': case 'q': case 'r': case 's': case 't':
+            case 'u': case 'v': case 'w': case 'x': case 'y':
+            case 'z':
+              /* c is an alphanumeric or space character.  */
+              ASSERT (is == 0);
+              break;
+            case '!': case '"': case '#': case '%':
+            case '&': case '\'': case '(': case ')': case '*':
+            case '+': case ',': case '-': case '.': case '/':
+            case ':': case ';': case '<': case '=': case '>':
+            case '?':
+            case '[': case '\\': case ']': case '^': case '_':
+            case '{': case '|': case '}': case '~':
+              /* These characters are usually expected to be punctuation or
+                 symbol characters.  */
+              ASSERT (is != 0);
+              break;
+            default:
+              ASSERT (is == 0);
+              break;
+            }
+          break;
+        }
+  }
+
+  if (argc > 1)
+    switch (argv[1][0])
+      {
+      case '0':
+        /* C locale; tested above.  */
+        return 0;
+
+      case '1':
+        /* Locale encoding is ISO-8859-1 or ISO-8859-15.  */
+        {
+        #if !(defined __FreeBSD__ || defined __DragonFly__)
+          /* U+00BF INVERTED QUESTION MARK */
+          is = for_character ("\277", 1);
+          ASSERT (is != 0);
+        #endif
+        #if !(defined __FreeBSD__ || defined __DragonFly__ || defined __sun)
+          /* U+00D7 MULTIPLICATION SIGN */
+          is = for_character ("\327", 1);
+          ASSERT (is != 0);
+        #endif
+          /* U+00D8 LATIN CAPITAL LETTER O WITH STROKE */
+          is = for_character ("\330", 1);
+          ASSERT (is == 0);
+          /* U+00DF LATIN SMALL LETTER SHARP S */
+          is = for_character ("\337", 1);
+          ASSERT (is == 0);
+        }
+        return 0;
+
+      case '2':
+        /* Locale encoding is EUC-JP.  */
+        {
+        #if !((defined __APPLE__ && defined __MACH__) || defined __FreeBSD__ || defined __DragonFly__ || defined __NetBSD__)
+          /* U+00BF INVERTED QUESTION MARK */
+          is = for_character ("\217\242\304", 3);
+          ASSERT (is != 0);
+        #endif
+        #if !(defined __FreeBSD__ || defined __DragonFly__)
+          /* U+00D7 MULTIPLICATION SIGN */
+          is = for_character ("\241\337", 2);
+          ASSERT (is != 0);
+        #endif
+          /* U+00D8 LATIN CAPITAL LETTER O WITH STROKE */
+          is = for_character ("\217\251\254", 3);
+          ASSERT (is == 0);
+          /* U+00DF LATIN SMALL LETTER SHARP S */
+          is = for_character ("\217\251\316", 3);
+          ASSERT (is == 0);
+          /* U+0141 LATIN CAPITAL LETTER L WITH STROKE */
+          is = for_character ("\217\251\250", 3);
+          ASSERT (is == 0);
+        #if !((defined __APPLE__ && defined __MACH__) || defined __FreeBSD__ || defined __DragonFly__ || defined __NetBSD__)
+          /* U+2192 RIGHTWARDS ARROW */
+          is = for_character ("\242\252", 2);
+          ASSERT (is != 0);
+        #endif
+        #if !(defined __FreeBSD__ || defined __DragonFly__)
+          /* U+3001 IDEOGRAPHIC COMMA */
+          is = for_character ("\241\242", 2);
+          ASSERT (is != 0);
+        #endif
+          /* U+FF11 FULLWIDTH DIGIT ONE */
+          is = for_character ("\243\261", 2);
+          ASSERT (is == 0);
+          /* U+FF4D FULLWIDTH LATIN SMALL LETTER M */
+          is = for_character ("\243\355", 2);
+          ASSERT (is == 0);
+        }
+        return 0;
+
+      case '3':
+        /* Locale encoding is UTF-8.  */
+        {
+          /* U+00BF INVERTED QUESTION MARK */
+          is = for_character ("\302\277", 2);
+          ASSERT (is != 0);
+        #if !defined __sun
+          /* U+00D7 MULTIPLICATION SIGN */
+          is = for_character ("\303\227", 2);
+          ASSERT (is != 0);
+        #endif
+          /* U+00D8 LATIN CAPITAL LETTER O WITH STROKE */
+          is = for_character ("\303\230", 2);
+          ASSERT (is == 0);
+          /* U+00DF LATIN SMALL LETTER SHARP S */
+          is = for_character ("\303\237", 2);
+          ASSERT (is == 0);
+          /* U+0141 LATIN CAPITAL LETTER L WITH STROKE */
+          is = for_character ("\305\201", 2);
+          ASSERT (is == 0);
+          /* U+05F3 HEBREW PUNCTUATION GERESH */
+          is = for_character ("\327\263", 2);
+          ASSERT (is != 0);
+        #if !(defined __sun || (defined _WIN32 && !defined __CYGWIN__))
+          /* U+2192 RIGHTWARDS ARROW */
+          is = for_character ("\342\206\222", 3);
+          ASSERT (is != 0);
+        #endif
+          /* U+3001 IDEOGRAPHIC COMMA */
+          is = for_character ("\343\200\201", 3);
+          ASSERT (is != 0);
+          /* U+FF11 FULLWIDTH DIGIT ONE */
+          is = for_character ("\357\274\221", 3);
+          ASSERT (is == 0);
+          /* U+FF4D FULLWIDTH LATIN SMALL LETTER M */
+          is = for_character ("\357\275\215", 3);
+          ASSERT (is == 0);
+          /* U+10330 GOTHIC LETTER AHSA */
+          is = for_character ("\360\220\214\260", 4);
+          ASSERT (is == 0);
+        #if !defined __sun
+          /* U+1D100 MUSICAL SYMBOL SINGLE BARLINE */
+          is = for_character ("\360\235\204\200", 4);
+          ASSERT (is != 0);
+        #endif
+        #if !(defined __GLIBC__ || defined _AIX || defined __CYGWIN__ || (defined _WIN32 && !defined __CYGWIN__))
+          /* U+E003A TAG COLON */
+          is = for_character ("\363\240\200\272", 4);
+          ASSERT (is == 0);
+        #endif
+        }
+        return 0;
+
+      case '4':
+        /* Locale encoding is GB18030.  */
+        {
+        #if !(defined __FreeBSD__ || defined __DragonFly__ || defined __sun)
+          /* U+00BF INVERTED QUESTION MARK */
+          is = for_character ("\201\060\206\067", 4);
+          ASSERT (is != 0);
+        #endif
+        #if !(defined __FreeBSD__ || defined __DragonFly__)
+          /* U+00D7 MULTIPLICATION SIGN */
+          is = for_character ("\241\301", 2);
+          ASSERT (is != 0);
+        #endif
+          /* U+00D8 LATIN CAPITAL LETTER O WITH STROKE */
+          is = for_character ("\201\060\211\061", 4);
+          ASSERT (is == 0);
+          /* U+00DF LATIN SMALL LETTER SHARP S */
+          is = for_character ("\201\060\211\070", 4);
+          ASSERT (is == 0);
+          /* U+0141 LATIN CAPITAL LETTER L WITH STROKE */
+          is = for_character ("\201\060\221\071", 4);
+          ASSERT (is == 0);
+        #if !(defined __FreeBSD__ || defined __DragonFly__ || defined __sun)
+          /* U+05F3 HEBREW PUNCTUATION GERESH */
+          is = for_character ("\201\060\374\067", 4);
+          ASSERT (is != 0);
+        #endif
+        #if !(defined __FreeBSD__ || defined __DragonFly__)
+          /* U+2192 RIGHTWARDS ARROW */
+          is = for_character ("\241\372", 2);
+          ASSERT (is != 0);
+          /* U+3001 IDEOGRAPHIC COMMA */
+          is = for_character ("\241\242", 2);
+          ASSERT (is != 0);
+        #endif
+          /* U+FF11 FULLWIDTH DIGIT ONE */
+          is = for_character ("\243\261", 2);
+          ASSERT (is == 0);
+          /* U+FF4D FULLWIDTH LATIN SMALL LETTER M */
+          is = for_character ("\243\355", 2);
+          ASSERT (is == 0);
+          /* U+10330 GOTHIC LETTER AHSA */
+          is = for_character ("\220\060\322\066", 4);
+          ASSERT (is == 0);
+        #if !((defined __APPLE__ && defined __MACH__) || defined __FreeBSD__ || defined __DragonFly__ || defined __NetBSD__ || defined __sun)
+          /* U+1D100 MUSICAL SYMBOL SINGLE BARLINE */
+          is = for_character ("\224\062\273\064", 4);
+          ASSERT (is != 0);
+        #endif
+        #if !defined __GLIBC__
+          /* U+E003A TAG COLON */
+          is = for_character ("\323\066\233\066", 4);
+          ASSERT (is == 0);
+        #endif
+        }
+        return 0;
+
+      }
+
+  return 1;
+}
diff --git a/tests/test-c32ispunct.sh b/tests/test-c32ispunct.sh
new file mode 100755
index 0000000000..9e7ef36c0e
--- /dev/null
+++ b/tests/test-c32ispunct.sh
@@ -0,0 +1,39 @@
+#!/bin/sh
+
+# Test in the POSIX locale.
+LC_ALL=C     ${CHECKER} ./test-c32ispunct${EXEEXT} 0 || exit 1
+LC_ALL=POSIX ${CHECKER} ./test-c32ispunct${EXEEXT} 0 || exit 1
+
+# Test in an ISO-8859-1 or ISO-8859-15 locale.
+: ${LOCALE_FR=fr_FR}
+if test $LOCALE_FR != none; then
+  LC_ALL=$LOCALE_FR \
+  ${CHECKER} ./test-c32ispunct${EXEEXT} 1 \
+  || exit 1
+fi
+
+# Test whether a specific EUC-JP locale is installed.
+: ${LOCALE_JA=ja_JP}
+if test $LOCALE_JA != none; then
+  LC_ALL=$LOCALE_JA \
+  ${CHECKER} ./test-c32ispunct${EXEEXT} 2 \
+  || exit 1
+fi
+
+# Test whether a specific UTF-8 locale is installed.
+: ${LOCALE_FR_UTF8=fr_FR.UTF-8}
+if test $LOCALE_FR_UTF8 != none; then
+  LC_ALL=$LOCALE_FR_UTF8 \
+  ${CHECKER} ./test-c32ispunct${EXEEXT} 3 \
+  || exit 1
+fi
+
+# Test whether a specific GB18030 locale is installed.
+: ${LOCALE_ZH_CN=zh_CN.GB18030}
+if test $LOCALE_ZH_CN != none; then
+  LC_ALL=$LOCALE_ZH_CN \
+  ${CHECKER} ./test-c32ispunct${EXEEXT} 4 \
+  || exit 1
+fi
+
+exit 0