string/test-strncmp.c

   1 /* Test strncmp and wcsncmp functions.
   2    Copyright (C) 1999-2017 Free Software Foundation, Inc.
   3    This file is part of the GNU C Library.
   4    Written by Jakub Jelinek <jakub@redhat.com>, 1999.
   5
   6    The GNU C Library is free software; you can redistribute it and/or
   7    modify it under the terms of the GNU Lesser General Public
   8    License as published by the Free Software Foundation; either
   9    version 2.1 of the License, or (at your option) any later version.
  10
  11    The GNU C Library is distributed in the hope that it will be useful,
  12    but WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14    Lesser General Public License for more details.
  15
  16    You should have received a copy of the GNU Lesser General Public
  17    License along with the GNU C Library; if not, see
  18    <http://www.gnu.org/licenses/>.  */
  19
  20 #define TEST_MAIN
  21 #ifdef WIDE
  22 # define TEST_NAME "wcsncmp"
  23 #else
  24 # define TEST_NAME "strncmp"
  25 #endif
  26 #include "test-string.h"
  27
  28 #ifdef WIDE
  29 # include <wchar.h>
  30
  31 # define L(str) L##str
  32 # define STRNCMP wcsncmp
  33 # define STRCPY wcscpy
  34 # define STRDUP wcsdup
  35 # define MEMCPY wmemcpy
  36 # define SIMPLE_STRNCMP simple_wcsncmp
  37 # define STUPID_STRNCMP stupid_wcsncmp
  38 # define CHAR wchar_t
  39 # define UCHAR wchar_t
  40 # define CHARBYTES 4
  41 # define CHAR__MAX WCHAR_MAX
  42 # define CHAR__MIN WCHAR_MIN
  43
  44 /* Wcsncmp uses signed semantics for comparison, not unsigned.
  45    Avoid using substraction since possible overflow */
  46 int
  47 simple_wcsncmp (const CHAR *s1, const CHAR *s2, size_t n)
  48 {
  49   wchar_t c1, c2;
  50
  51   while (n--)
  52     {
  53       c1 = *s1++;
  54       c2 = *s2++;
  55       if (c1 == L('\0') || c1 != c2)
  56         return c1 > c2 ? 1 : (c1 < c2 ? -1 : 0);
  57     }
  58   return 0;
  59 }
  60
  61 int
  62 stupid_wcsncmp (const CHAR *s1, const CHAR *s2, size_t n)
  63 {
  64   wchar_t c1, c2;
  65   size_t ns1 = wcsnlen (s1, n) + 1, ns2 = wcsnlen (s2, n) + 1;
  66
  67   n = ns1 < n ? ns1 : n;
  68   n = ns2 < n ? ns2 : n;
  69
  70   while (n--)
  71     {
  72       c1 = *s1++;
  73       c2 = *s2++;
  74       if (c1 != c2)
  75         return c1 > c2 ? 1 : -1;
  76     }
  77   return 0;
  78 }
  79
  80 #else
  81 # define L(str) str
  82 # define STRNCMP strncmp
  83 # define STRCPY strcpy
  84 # define STRDUP strdup
  85 # define MEMCPY memcpy
  86 # define SIMPLE_STRNCMP simple_strncmp
  87 # define STUPID_STRNCMP stupid_strncmp
  88 # define CHAR char
  89 # define UCHAR unsigned char
  90 # define CHARBYTES 1
  91 # define CHAR__MAX CHAR_MAX
  92 # define CHAR__MIN CHAR_MIN
  93
  94 /* Strncmp uses unsigned semantics for comparison. */
  95 int
  96 simple_strncmp (const char *s1, const char *s2, size_t n)
  97 {
  98   int ret = 0;
  99
 100   while (n-- && (ret = *(unsigned char *) s1 - * (unsigned char *) s2++) == 0
 101          && *s1++);
 102   return ret;
 103 }
 104
 105 int
 106 stupid_strncmp (const char *s1, const char *s2, size_t n)
 107 {
 108   size_t ns1 = strnlen (s1, n) + 1, ns2 = strnlen (s2, n) + 1;
 109   int ret = 0;
 110
 111   n = ns1 < n ? ns1 : n;
 112   n = ns2 < n ? ns2 : n;
 113   while (n-- && (ret = *(unsigned char *) s1++ - * (unsigned char *) s2++) == 0);
 114   return ret;
 115 }
 116
 117 #endif
 118
 119 typedef int (*proto_t) (const CHAR *, const CHAR *, size_t);
 120
 121 IMPL (STUPID_STRNCMP, 0)
 122 IMPL (SIMPLE_STRNCMP, 0)
 123 IMPL (STRNCMP, 1)
 124
 125
 126 static int
 127 check_result (impl_t *impl, const CHAR *s1, const CHAR *s2, size_t n,
 128              int exp_result)
 129 {
 130   int result = CALL (impl, s1, s2, n);
 131   if ((exp_result == 0 && result != 0)
 132       || (exp_result < 0 && result >= 0)
 133       || (exp_result > 0 && result <= 0))
 134     {
 135       error (0, 0, "Wrong result in function %s %d %d", impl->name,
 136              result, exp_result);
 137       ret = 1;
 138       return -1;
 139     }
 140
 141   return 0;
 142 }
 143
 144 static void
 145 do_one_test (impl_t *impl, const CHAR *s1, const CHAR *s2, size_t n,
 146              int exp_result)
 147 {
 148   if (check_result (impl, s1, s2, n, exp_result) < 0)
 149     return;
 150 }
 151
 152 static void
 153 do_test_limit (size_t align1, size_t align2, size_t len, size_t n, int max_char,
 154          int exp_result)
 155 {
 156   size_t i, align_n;
 157   CHAR *s1, *s2;
 158
 159   align1 &= ~(CHARBYTES - 1);
 160   align2 &= ~(CHARBYTES - 1);
 161
 162   if (n == 0)
 163     {
 164       s1 = (CHAR *) (buf1 + page_size);
 165       s2 = (CHAR *) (buf2 + page_size);
 166
 167       FOR_EACH_IMPL (impl, 0)
 168         do_one_test (impl, s1, s2, n, 0);
 169
 170       return;
 171     }
 172
 173   align1 &= 15;
 174   align2 &= 15;
 175   align_n = (page_size - n * CHARBYTES) & 15;
 176
 177   s1 = (CHAR *) (buf1 + page_size - n * CHARBYTES);
 178   s2 = (CHAR *) (buf2 + page_size - n * CHARBYTES);
 179
 180   if (align1 < align_n)
 181     s1 = (CHAR *) ((char *) s1 - (align_n - align1));
 182
 183   if (align2 < align_n)
 184     s2 = (CHAR *) ((char *) s2 - (align_n - align2));
 185
 186   for (i = 0; i < n; i++)
 187     s1[i] = s2[i] = 1 + 23 * i % max_char;
 188
 189   if (len < n)
 190     {
 191       s1[len] = 0;
 192       s2[len] = 0;
 193       if (exp_result < 0)
 194         s2[len] = 32;
 195       else if (exp_result > 0)
 196         s1[len] = 64;
 197     }
 198
 199   FOR_EACH_IMPL (impl, 0)
 200     do_one_test (impl, s1, s2, n, exp_result);
 201 }
 202
 203 static void
 204 do_test (size_t align1, size_t align2, size_t len, size_t n, int max_char,
 205          int exp_result)
 206 {
 207   size_t i;
 208   CHAR *s1, *s2;
 209
 210   align1 &= ~(CHARBYTES - 1);
 211   align2 &= ~(CHARBYTES - 1);
 212
 213   if (n == 0)
 214     return;
 215
 216   align1 &= 63;
 217   if (align1 + (n + 1) * CHARBYTES >= page_size)
 218     return;
 219
 220   align2 &= 63;
 221   if (align2 + (n + 1) * CHARBYTES >= page_size)
 222     return;
 223
 224   s1 = (CHAR *) (buf1 + align1);
 225   s2 = (CHAR *) (buf2 + align2);
 226
 227   for (i = 0; i < n; i++)
 228     s1[i] = s2[i] = 1 + (23 << ((CHARBYTES - 1) * 8)) * i % max_char;
 229
 230   s1[n] = 24 + exp_result;
 231   s2[n] = 23;
 232   s1[len] = 0;
 233   s2[len] = 0;
 234   if (exp_result < 0)
 235     s2[len] = 32;
 236   else if (exp_result > 0)
 237     s1[len] = 64;
 238   if (len >= n)
 239     s2[n - 1] -= exp_result;
 240
 241   FOR_EACH_IMPL (impl, 0)
 242     do_one_test (impl, s1, s2, n, exp_result);
 243 }
 244
 245 static void
 246 do_page_test (size_t offset1, size_t offset2, CHAR *s2)
 247 {
 248   CHAR *s1;
 249   int exp_result;
 250
 251   if (offset1 * CHARBYTES  >= page_size || offset2 * CHARBYTES >= page_size)
 252     return;
 253
 254   s1 = (CHAR *) buf1;
 255   s1 += offset1;
 256   s2 += offset2;
 257
 258   exp_result= *s1;
 259
 260   FOR_EACH_IMPL (impl, 0)
 261     {
 262       check_result (impl, s1, s2, page_size, -exp_result);
 263       check_result (impl, s2, s1, page_size, exp_result);
 264     }
 265 }
 266
 267 static void
 268 do_random_tests (void)
 269 {
 270   size_t i, j, n, align1, align2, pos, len1, len2, size;
 271   int result;
 272   long r;
 273   UCHAR *p1 = (UCHAR *) (buf1 + page_size - 512 * CHARBYTES);
 274   UCHAR *p2 = (UCHAR *) (buf2 + page_size - 512 * CHARBYTES);
 275
 276   for (n = 0; n < ITERATIONS; n++)
 277     {
 278       align1 = random () & 31;
 279       if (random () & 1)
 280         align2 = random () & 31;
 281       else
 282         align2 = align1 + (random () & 24);
 283       pos = random () & 511;
 284       size = random () & 511;
 285       j = align1 > align2 ? align1 : align2;
 286       if (pos + j >= 511)
 287         pos = 510 - j - (random () & 7);
 288       len1 = random () & 511;
 289       if (pos >= len1 && (random () & 1))
 290         len1 = pos + (random () & 7);
 291       if (len1 + j >= 512)
 292         len1 = 511 - j - (random () & 7);
 293       if (pos >= len1)
 294         len2 = len1;
 295       else
 296         len2 = len1 + (len1 != 511 - j ? random () % (511 - j - len1) : 0);
 297       j = (pos > len2 ? pos : len2) + align1 + 64;
 298       if (j > 512)
 299         j = 512;
 300       for (i = 0; i < j; ++i)
 301         {
 302           p1[i] = random () & 255;
 303           if (i < len1 + align1 && !p1[i])
 304             {
 305               p1[i] = random () & 255;
 306               if (!p1[i])
 307                 p1[i] = 1 + (random () & 127);
 308             }
 309         }
 310       for (i = 0; i < j; ++i)
 311         {
 312           p2[i] = random () & 255;
 313           if (i < len2 + align2 && !p2[i])
 314             {
 315               p2[i] = random () & 255;
 316               if (!p2[i])
 317                 p2[i] = 1 + (random () & 127);
 318             }
 319         }
 320
 321       result = 0;
 322       MEMCPY (p2 + align2, p1 + align1, pos);
 323       if (pos < len1)
 324         {
 325           if (p2[align2 + pos] == p1[align1 + pos])
 326             {
 327               p2[align2 + pos] = random () & 255;
 328               if (p2[align2 + pos] == p1[align1 + pos])
 329                 p2[align2 + pos] = p1[align1 + pos] + 3 + (random () & 127);
 330             }
 331
 332           if (pos < size)
 333             {
 334               if (p1[align1 + pos] < p2[align2 + pos])
 335                 result = -1;
 336               else
 337                 result = 1;
 338             }
 339         }
 340       p1[len1 + align1] = 0;
 341       p2[len2 + align2] = 0;
 342
 343       FOR_EACH_IMPL (impl, 1)
 344         {
 345           r = CALL (impl, (CHAR *) (p1 + align1), (CHAR *) (p2 + align2), size);
 346           /* Test whether on 64-bit architectures where ABI requires
 347              callee to promote has the promotion been done.  */
 348           asm ("" : "=g" (r) : "0" (r));
 349           if ((r == 0 && result)
 350               || (r < 0 && result >= 0)
 351               || (r > 0 && result <= 0))
 352             {
 353               error (0, 0, "Iteration %zd - wrong result in function %s (%zd, %zd, %zd, %zd, %zd, %zd) %ld != %d, p1 %p p2 %p",
 354                      n, impl->name, align1, align2, len1, len2, pos, size, r, result, p1, p2);
 355               ret = 1;
 356             }
 357         }
 358     }
 359 }
 360
 361 static void
 362 check1 (void)
 363 {
 364   CHAR *s1 = (CHAR *) (buf1 + 0xb2c);
 365   CHAR *s2 = (CHAR *) (buf1 + 0xfd8);
 366   size_t i, offset;
 367   int exp_result;
 368
 369   STRCPY(s1, L("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrs"));
 370   STRCPY(s2, L("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijkLMNOPQRSTUV"));
 371
 372   /* Check possible overflow bug for wcsncmp */
 373   s1[4] = CHAR__MAX;
 374   s2[4] = CHAR__MIN;
 375
 376   for (offset = 0; offset < 6; offset++)
 377     {
 378       for (i = 0; i < 80; i++)
 379         {
 380           exp_result = SIMPLE_STRNCMP (s1 + offset, s2 + offset, i);
 381           FOR_EACH_IMPL (impl, 0)
 382             check_result (impl, s1 + offset, s2 + offset, i, exp_result);
 383         }
 384     }
 385 }
 386
 387 static void
 388 check2 (void)
 389 {
 390   size_t i;
 391   CHAR *s1, *s2;
 392
 393   s1 = (CHAR *) buf1;
 394   for (i = 0; i < (page_size / CHARBYTES) - 1; i++)
 395     s1[i] = 23;
 396   s1[i] = 0;
 397
 398   s2 = STRDUP (s1);
 399
 400   for (i = 0; i < 64; ++i)
 401     do_page_test ((3988 / CHARBYTES) + i, (2636 / CHARBYTES), s2);
 402
 403   free (s2);
 404 }
 405
 406 int
 407 test_main (void)
 408 {
 409   size_t i;
 410
 411   test_init ();
 412
 413   check1 ();
 414   check2 ();
 415
 416   printf ("%23s", "");
 417   FOR_EACH_IMPL (impl, 0)
 418     printf ("\t%s", impl->name);
 419   putchar ('\n');
 420
 421   for (i =0; i < 16; ++i)
 422     {
 423       do_test (0, 0, 8, i, 127, 0);
 424       do_test (0, 0, 8, i, 127, -1);
 425       do_test (0, 0, 8, i, 127, 1);
 426       do_test (i, i, 8, i, 127, 0);
 427       do_test (i, i, 8, i, 127, 1);
 428       do_test (i, i, 8, i, 127, -1);
 429       do_test (i, 2 * i, 8, i, 127, 0);
 430       do_test (2 * i, i, 8, i, 127, 1);
 431       do_test (i, 3 * i, 8, i, 127, -1);
 432       do_test (0, 0, 8, i, 255, 0);
 433       do_test (0, 0, 8, i, 255, -1);
 434       do_test (0, 0, 8, i, 255, 1);
 435       do_test (i, i, 8, i, 255, 0);
 436       do_test (i, i, 8, i, 255, 1);
 437       do_test (i, i, 8, i, 255, -1);
 438       do_test (i, 2 * i, 8, i, 255, 0);
 439       do_test (2 * i, i, 8, i, 255, 1);
 440       do_test (i, 3 * i, 8, i, 255, -1);
 441     }
 442
 443   for (i = 1; i < 8; ++i)
 444     {
 445       do_test (0, 0, 8 << i, 16 << i, 127, 0);
 446       do_test (0, 0, 8 << i, 16 << i, 127, 1);
 447       do_test (0, 0, 8 << i, 16 << i, 127, -1);
 448       do_test (0, 0, 8 << i, 16 << i, 255, 0);
 449       do_test (0, 0, 8 << i, 16 << i, 255, 1);
 450       do_test (0, 0, 8 << i, 16 << i, 255, -1);
 451       do_test (8 - i, 2 * i, 8 << i, 16 << i, 127, 0);
 452       do_test (8 - i, 2 * i, 8 << i, 16 << i, 127, 1);
 453       do_test (2 * i, i, 8 << i, 16 << i, 255, 0);
 454       do_test (2 * i, i, 8 << i, 16 << i, 255, 1);
 455     }
 456
 457   do_test_limit (0, 0, 0, 0, 127, 0);
 458   do_test_limit (4, 0, 21, 20, 127, 0);
 459   do_test_limit (0, 4, 21, 20, 127, 0);
 460   do_test_limit (8, 0, 25, 24, 127, 0);
 461   do_test_limit (0, 8, 25, 24, 127, 0);
 462
 463   for (i = 0; i < 8; ++i)
 464     {
 465       do_test_limit (0, 0, 17 - i, 16 - i, 127, 0);
 466       do_test_limit (0, 0, 17 - i, 16 - i, 255, 0);
 467       do_test_limit (0, 0, 15 - i, 16 - i, 127, 0);
 468       do_test_limit (0, 0, 15 - i, 16 - i, 127, 1);
 469       do_test_limit (0, 0, 15 - i, 16 - i, 127, -1);
 470       do_test_limit (0, 0, 15 - i, 16 - i, 255, 0);
 471       do_test_limit (0, 0, 15 - i, 16 - i, 255, 1);
 472       do_test_limit (0, 0, 15 - i, 16 - i, 255, -1);
 473     }
 474
 475   do_random_tests ();
 476   return ret;
 477 }
 478
 479 #include <support/test-driver.c>