summaryrefslogtreecommitdiff
path: root/tests/unistr/test-strncat.h
blob: 0bd3ad2c0411b05142435811c3e8e63c9f948e37 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
/* Test of uN_strncat() functions.
   Copyright (C) 2010-2021 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 <bruno@clisp.org>, 2010.  */

static void
check_single (const UNIT *input, size_t length, size_t n)
{
  static const UNIT base[] = { 'C', 'h', 'a', 'n', 'g', 'i', 'n', 'g', 0 };
  size_t m;

  for (m = 0; m < SIZEOF (base); m++)
    {
      UNIT *dest;
      UNIT *result;
      size_t i;

      dest = (UNIT *) malloc ((1 + m + n + 2) * sizeof (UNIT));
      ASSERT (dest != NULL);

      dest[0] = MAGIC;
      for (i = 0; i < m; i++)
        dest[1 + i] = base[i];
      dest[1 + m] = 0;
      for (i = 1; i < n + 2; i++)
        dest[1 + m + i] = MAGIC;

      result = U_STRNCAT (dest + 1, input, n);
      ASSERT (result == dest + 1);

      ASSERT (dest[0] == MAGIC);
      for (i = 0; i < m; i++)
        ASSERT (dest[1 + i] == base[i]);
      for (i = 0; i < (n <= length ? n : length); i++)
        ASSERT (dest[1 + m + i] == input[i]);
      ASSERT (dest[1 + m + i] == 0);
      ASSERT (dest[1 + m + i + 1] == MAGIC);

      free (dest);
    }
}

static void
check (const UNIT *input, size_t input_length)
{
  size_t length;
  size_t n;

  ASSERT (input_length > 0);
  ASSERT (input[input_length - 1] == 0);
  length = input_length - 1; /* = U_STRLEN (input) */

  for (n = 0; n <= 2 * length + 2; n++)
    check_single (input, length, n);

  /* Check that U_STRNCAT (D, S, N) does not look at more than
     MIN (U_STRLEN (S) + 1, N) units.  */
  {
    char *page_boundary = (char *) zerosize_ptr ();

    if (page_boundary != NULL)
      {
        for (n = 0; n <= 2 * length + 2; n++)
          {
            size_t n_to_copy = (n <= length ? n : length + 1);
            UNIT *copy;
            size_t i;

            copy = (UNIT *) page_boundary - n_to_copy;
            for (i = 0; i < n_to_copy; i++)
              copy[i] = input[i];

            check_single (copy, length, n);
          }
      }
  }
}