string: Expand page cross tests in test-strncasecmp.c

Add more robust tests that cover all the page cross edge cases.
Reviewed-by: H.J. Lu <hjl.tools@gmail.com>
This commit is contained in:
Noah Goldstein 2022-03-23 16:57:34 -05:00
parent 1edbcc82b5
commit 46d19d1b83

View File

@ -18,6 +18,10 @@
#include <locale.h> #include <locale.h>
#include <ctype.h> #include <ctype.h>
#define TEST_LEN (getpagesize () * 3)
#define MIN_PAGE_SIZE (TEST_LEN + 2 * getpagesize ())
#define TEST_MAIN #define TEST_MAIN
#define TEST_NAME "strncasecmp" #define TEST_NAME "strncasecmp"
#include "test-string.h" #include "test-string.h"
@ -106,14 +110,15 @@ do_test (size_t align1, size_t align2, size_t n, size_t len, int max_char,
if (len == 0) if (len == 0)
return; return;
align1 &= 7; align1 &= getpagesize () - 1;
if (align1 + len + 1 >= page_size) if (align1 + (len + 2) >= page_size)
return; return;
align2 &= 7; align2 &= getpagesize () - 1;
if (align2 + len + 1 >= page_size) if (align2 + (len + 2) >= page_size)
return; return;
s1 = (char *) (buf1 + align1); s1 = (char *) (buf1 + align1);
s2 = (char *) (buf2 + align2); s2 = (char *) (buf2 + align2);
@ -126,12 +131,33 @@ do_test (size_t align1, size_t align2, size_t n, size_t len, int max_char,
s1[len] = s2[len] = 0; s1[len] = s2[len] = 0;
s1[len + 1] = 23; s1[len + 1] = 23;
s2[len + 1] = 24 + exp_result; s2[len + 1] = 24 + exp_result;
if ((s2[len - 1] == 'z' && exp_result == -1) if ((s2[len - 1] == 'z' && exp_result == -1)
|| (s2[len - 1] == 'a' && exp_result == 1)) || (s2[len - 1] == 'a' && exp_result == 1))
s1[len - 1] += exp_result; s1[len - 1] += exp_result;
else if ((s1[len - 1] == 'Z' + 1 && exp_result == 1)
|| (s1[len - 1] == 'A' - 1 && exp_result == -1))
s1[len - 1] = tolower (s2[len - 1]) + exp_result;
else else
s2[len - 1] -= exp_result; s2[len - 1] -= exp_result;
/* For some locals this is not guranteed yet. */
if (tolower (s1[len - 1]) - tolower (s2[len - 1]) != exp_result)
{
if (exp_result == -1)
{
s1[len - 1] = tolower ('a');
s2[len - 1] = toupper (tolower ('a') - 1);
}
else if (exp_result == 0)
s1[len - 1] = toupper (s2[len - 1]);
else
{
s1[len - 1] = tolower ('a');
s2[len - 1] = toupper (tolower ('a') + 1);
}
}
FOR_EACH_IMPL (impl, 0) FOR_EACH_IMPL (impl, 0)
do_one_test (impl, s1, s2, n, exp_result); do_one_test (impl, s1, s2, n, exp_result);
} }
@ -299,10 +325,10 @@ bz14195 (void)
} }
static void static void
test_locale (const char *locale) test_locale (const char *locale, int extra_tests)
{ {
size_t i; size_t i, j, k;
const size_t test_len = MIN(TEST_LEN, 3 * 4096);
if (setlocale (LC_CTYPE, locale) == NULL) if (setlocale (LC_CTYPE, locale) == NULL)
{ {
error (0, 0, "cannot set locale \"%s\"", locale); error (0, 0, "cannot set locale \"%s\"", locale);
@ -374,6 +400,122 @@ test_locale (const char *locale)
do_test (2 * i, i, (8 << i) + 100, 8 << i, 254, -1); do_test (2 * i, i, (8 << i) + 100, 8 << i, 254, -1);
} }
for (j = 0; extra_tests && j < 160; ++j)
{
for (i = 0; i < test_len;)
{
do_test (getpagesize () - j - 1, 0, i + 1, i, 127, 0);
do_test (getpagesize () - j - 1, 0, i + 1, i, 127, 1);
do_test (getpagesize () - j - 1, 0, i + 1, i, 127, -1);
do_test (getpagesize () - j - 1, 0, i, i, 127, 0);
do_test (getpagesize () - j - 1, 0, i - 1, i, 127, 0);
do_test (getpagesize () - j - 1, 0, ULONG_MAX, i, 127, 0);
do_test (getpagesize () - j - 1, 0, ULONG_MAX, i, 127, 1);
do_test (getpagesize () - j - 1, 0, ULONG_MAX, i, 127, -1);
do_test (getpagesize () - j - 1, 0, ULONG_MAX - i, i, 127, 0);
do_test (getpagesize () - j - 1, 0, ULONG_MAX - i, i, 127, 1);
do_test (getpagesize () - j - 1, 0, ULONG_MAX - i, i, 127, -1);
do_test (getpagesize () - j - 1, j, i + 1, i, 127, 0);
do_test (getpagesize () - j - 1, j, i + 1, i, 127, 1);
do_test (getpagesize () - j - 1, j, i + 1, i, 127, -1);
do_test (getpagesize () - j - 1, j, i, i, 127, 0);
do_test (getpagesize () - j - 1, j, i - 1, i, 127, 0);
do_test (getpagesize () - j - 1, j, ULONG_MAX, i, 127, 0);
do_test (getpagesize () - j - 1, j, ULONG_MAX, i, 127, 1);
do_test (getpagesize () - j - 1, j, ULONG_MAX, i, 127, -1);
do_test (getpagesize () - j - 1, j, ULONG_MAX - i, i, 127, 0);
do_test (getpagesize () - j - 1, j, ULONG_MAX - i, i, 127, 1);
do_test (getpagesize () - j - 1, j, ULONG_MAX - i, i, 127, -1);
do_test (0, getpagesize () - j - 1, i + 1, i, 127, 0);
do_test (0, getpagesize () - j - 1, i + 1, i, 127, 1);
do_test (0, getpagesize () - j - 1, i + 1, i, 127, -1);
do_test (0, getpagesize () - j - 1, i, i, 127, 0);
do_test (0, getpagesize () - j - 1, i - 1, i, 127, 0);
do_test (0, getpagesize () - j - 1, ULONG_MAX, i, 127, 0);
do_test (0, getpagesize () - j - 1, ULONG_MAX, i, 127, 1);
do_test (0, getpagesize () - j - 1, ULONG_MAX, i, 127, -1);
do_test (0, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 0);
do_test (0, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 1);
do_test (0, getpagesize () - j - 1, ULONG_MAX - i, i, 127, -1);
do_test (j, getpagesize () - j - 1, i + 1, i, 127, 0);
do_test (j, getpagesize () - j - 1, i + 1, i, 127, 1);
do_test (j, getpagesize () - j - 1, i + 1, i, 127, -1);
do_test (j, getpagesize () - j - 1, i, i, 127, 0);
do_test (j, getpagesize () - j - 1, i - 1, i, 127, 0);
do_test (j, getpagesize () - j - 1, ULONG_MAX, i, 127, 0);
do_test (j, getpagesize () - j - 1, ULONG_MAX, i, 127, 1);
do_test (j, getpagesize () - j - 1, ULONG_MAX, i, 127, -1);
do_test (j, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 0);
do_test (j, getpagesize () - j - 1, ULONG_MAX - i, i, 127, 1);
do_test (j, getpagesize () - j - 1, ULONG_MAX - i, i, 127, -1);
for (k = 2; k <= 128; k += k)
{
do_test (getpagesize () - k, getpagesize () - j - 1, i - 1, i,
127, 0);
do_test (getpagesize () - k - 1, getpagesize () - j - 1, i - 1,
i, 127, 0);
do_test (getpagesize () - k, getpagesize () - j - 1, i + 1, i,
127, 0);
do_test (getpagesize () - k - 1, getpagesize () - j - 1, i + 1,
i, 127, 0);
do_test (getpagesize () - k, getpagesize () - j - 1, i, i, 127,
0);
do_test (getpagesize () - k - 1, getpagesize () - j - 1, i, i,
127, 0);
do_test (getpagesize () - k, getpagesize () - j - 1, i + 1, i,
127, -1);
do_test (getpagesize () - k - 1, getpagesize () - j - 1, i + 1,
i, 127, -1);
do_test (getpagesize () - k, getpagesize () - j - 1, i + 1, i,
127, 1);
do_test (getpagesize () - k - 1, getpagesize () - j - 1, i + 1,
i, 127, 1);
}
if (i < 32)
{
i += 1;
}
else if (i < 161)
{
i += 7;
}
else if (i + 161 < test_len)
{
i += 31;
i *= 17;
i /= 16;
if (i + 161 > test_len)
{
i = test_len - 160;
}
}
else if (i + 32 < test_len)
{
i += 7;
}
else
{
i += 1;
}
}
}
do_random_tests (); do_random_tests ();
do_page_tests (); do_page_tests ();
} }
@ -383,11 +525,11 @@ test_main (void)
{ {
test_init (); test_init ();
test_locale ("C"); test_locale ("C", 1);
test_locale ("en_US.ISO-8859-1"); test_locale ("en_US.ISO-8859-1", 0);
test_locale ("en_US.UTF-8"); test_locale ("en_US.UTF-8", 0);
test_locale ("tr_TR.ISO-8859-9"); test_locale ("tr_TR.ISO-8859-9", 0);
test_locale ("tr_TR.UTF-8"); test_locale ("tr_TR.UTF-8", 0);
return ret; return ret;
} }