mirror of
https://https.git.savannah.gnu.org/git/gnulib.git
synced 2026-09-01 02:34:55 +00:00
Lasse Collin
67ee70e8e0
* tests/test-bsearch.c (null_bsearch, main): Remove the #if from null_bsearch because having the same condition in main is enough. Move the comment explaining the #if from null_bsearch to main. * tests/test-memccpy.c (null_memccpy, main): Likewise. * tests/test-memchr.c (null_memchr, main): Likewise. * tests/test-memcmp.c (null_memcmp, main): Likewise. * tests/test-memcpy.c (null_memcpy, main): Likewise. * tests/test-memmove.c (null_memmove, main): Likewise. * tests/test-memset.c (null_memset, main): Likewise. * tests/test-memset_explicit.c (null_memset_explicit, main): Likewise. * tests/test-qsort.c (null_qsort, main): Likewise. * tests/test-strncat.c (null_strncat, main): Likewise. * tests/test-strncmp.c (null_strncmp, main): Likewise. * tests/test-strncpy.c (null_strncpy, main): Likewise. * tests/test-strndup.c (null_strndup, main): Likewise. * tests/test-wcsncat.c (null_wcsncat, main): Likewise. * tests/test-wcsncmp.c (null_wcsncmp, main): Likewise. * tests/test-wcsncpy.c (null_wcsncpy, main): Likewise.
218 lines
8.2 KiB
C
218 lines
8.2 KiB
C
/* Test of wcsncmp() function.
|
|
Copyright (C) 2010-2026 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>, 2023. */
|
|
|
|
#include <config.h>
|
|
|
|
#include <wchar.h>
|
|
|
|
#include "signature.h"
|
|
SIGNATURE_CHECK (wcsncmp, int, (const wchar_t *, const wchar_t *, size_t));
|
|
|
|
#include "macros.h"
|
|
|
|
/* Test the prototype in <wchar.h> + compiler. */
|
|
static int
|
|
null_wcsncmp (wchar_t const *ws1, wchar_t const *ws2, size_t n)
|
|
{
|
|
int r = wcsncmp (ws1, ws2, n);
|
|
ASSERT (ws1 == NULL);
|
|
return r;
|
|
}
|
|
static int (*volatile volatile_null_wcsncmp) (wchar_t const *,
|
|
wchar_t const *, size_t)
|
|
= null_wcsncmp;
|
|
|
|
/* Test the library, not the compiler+library. */
|
|
static int
|
|
lib_wcsncmp (wchar_t const *ws1, wchar_t const *ws2, size_t n)
|
|
{
|
|
return wcsncmp (ws1, ws2, n);
|
|
}
|
|
static int (*volatile volatile_lib_wcsncmp) (wchar_t const *,
|
|
wchar_t const *, size_t)
|
|
= lib_wcsncmp;
|
|
#undef wcsncmp
|
|
#define wcsncmp volatile_lib_wcsncmp
|
|
|
|
int
|
|
main (int argc, char *argv[])
|
|
{
|
|
/* Test simple cases. */
|
|
{
|
|
static const wchar_t input1[] = { 0 };
|
|
static const wchar_t input2[] = { 0 };
|
|
ASSERT (wcsncmp (input1, input2, 0) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) == 0);
|
|
}
|
|
{
|
|
static const wchar_t input1[] = { 0 };
|
|
static const wchar_t input2[] = { 'f', 'o', 'o', 0 };
|
|
ASSERT (wcsncmp (input1, input2, 0) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 1) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 3) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 3) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 4) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 4) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 1000000) > 0);
|
|
}
|
|
{
|
|
static const wchar_t input1[] = { 'f', 'o', 'o', 0 };
|
|
static const wchar_t input2[] = { 'f', 'o', 'o', 0 };
|
|
ASSERT (wcsncmp (input1, input2, 0) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 2) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 3) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 4) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) == 0);
|
|
}
|
|
{
|
|
static const wchar_t input1[] = { 'f', 'o', 'o', 0 };
|
|
static const wchar_t input2[] = { 'b', 'a', 'r', 0 };
|
|
ASSERT (wcsncmp (input1, input2, 0) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1) > 0);
|
|
ASSERT (wcsncmp (input2, input1, 1) < 0);
|
|
ASSERT (wcsncmp (input1, input2, 2) > 0);
|
|
ASSERT (wcsncmp (input2, input1, 2) < 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) > 0);
|
|
ASSERT (wcsncmp (input2, input1, 1000000) < 0);
|
|
}
|
|
{
|
|
static const wchar_t input1[] = { 'f', 'o', 'o', 0 };
|
|
static const wchar_t input2[] = { 'f', 'o', 'o', 'b', 'a', 'r', 0 };
|
|
ASSERT (wcsncmp (input1, input2, 0) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 2) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 3) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 4) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 4) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 1000000) > 0);
|
|
}
|
|
{
|
|
static const wchar_t input1[] = { 'o', 'o', 'm', 'p', 'h', 0 };
|
|
static const wchar_t input2[] = { 'o', 'o', 'p', 's', 0 };
|
|
ASSERT (wcsncmp (input1, input2, 0) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 2) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 3) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 3) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 4) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 4) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 5) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 5) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 6) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 6) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 1000000) > 0);
|
|
}
|
|
|
|
/* ISO C requires wcsncmp to work with all wchar_t values.
|
|
ISO C 17 § 7.29.4.4 says:
|
|
"Unless explicitly stated otherwise, the functions described in this
|
|
subclause order two wide characters the same way as two integers of
|
|
the underlying integer type designated by wchar_t." */
|
|
{
|
|
const wchar_t input1[] = { (wchar_t) {0x76547654}, 0 };
|
|
const wchar_t input2[] = { (wchar_t) {0x9abc9abc}, 0 };
|
|
ASSERT (wcsncmp (input1, input2, 0) == 0);
|
|
if ((wchar_t) {-1} < 0)
|
|
{
|
|
/* wchar_t is signed. */
|
|
ASSERT (wcsncmp (input1, input2, 1) > 0);
|
|
ASSERT (wcsncmp (input2, input1, 1) < 0);
|
|
ASSERT (wcsncmp (input1, input2, 2) > 0);
|
|
ASSERT (wcsncmp (input2, input1, 2) < 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) > 0);
|
|
ASSERT (wcsncmp (input2, input1, 1000000) < 0);
|
|
}
|
|
else
|
|
{
|
|
/* wchar_t is unsigned. */
|
|
ASSERT (wcsncmp (input1, input2, 1) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 1) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 2) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 2) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 1000000) > 0);
|
|
}
|
|
}
|
|
{
|
|
const wchar_t input1[] = { (wchar_t) {0x9abc9abc}, 0 };
|
|
const wchar_t input2[] = { (wchar_t) {0x9bdf9bdf}, 0 };
|
|
ASSERT (wcsncmp (input1, input2, 0) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 1) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 2) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 2) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 1000000) > 0);
|
|
}
|
|
|
|
/* Comparing a negative wchar_t value against a null wchar_t.
|
|
ISO C 17 § 7.29.4.4.1 says:
|
|
"The wcsncmp function compares the wide string pointed to by s1 to
|
|
the wide string pointed to by s2."
|
|
ISO C 17 § 7.1.1 defines the term "wide string":
|
|
"A wide string is a contiguous sequence of wide characters terminated
|
|
by and including the first null wide character."
|
|
This means that the comparison extends up to and *including* the first
|
|
null wchar_t. */
|
|
{
|
|
const wchar_t input1[] = { (wchar_t) {'x'}, 0 };
|
|
const wchar_t input2[] = { (wchar_t) {'x'}, (wchar_t) {0x9abc9abc}, 0 };
|
|
ASSERT (wcsncmp (input1, input2, 0) == 0);
|
|
ASSERT (wcsncmp (input1, input2, 1) == 0);
|
|
if ((wchar_t) {-1} < 0)
|
|
{
|
|
/* wchar_t is signed. */
|
|
ASSERT (wcsncmp (input1, input2, 2) > 0);
|
|
ASSERT (wcsncmp (input2, input1, 2) < 0);
|
|
ASSERT (wcsncmp (input1, input2, 3) > 0);
|
|
ASSERT (wcsncmp (input2, input1, 3) < 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) > 0);
|
|
ASSERT (wcsncmp (input2, input1, 1000000) < 0);
|
|
}
|
|
else
|
|
{
|
|
/* wchar_t is unsigned. */
|
|
ASSERT (wcsncmp (input1, input2, 2) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 2) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 3) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 3) > 0);
|
|
ASSERT (wcsncmp (input1, input2, 1000000) < 0);
|
|
ASSERT (wcsncmp (input2, input1, 1000000) > 0);
|
|
}
|
|
}
|
|
|
|
/* Test zero-length operations on NULL pointers, allowed by
|
|
<https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3322.pdf>.
|
|
Some glibc versions use the nonnull attribute, which breaks this test. */
|
|
#if ! defined __GLIBC__ || 2 < __GLIBC__ + (99 <= __GLIBC_MINOR__)
|
|
ASSERT (wcsncmp (NULL, L"x", 0) == 0);
|
|
ASSERT (wcsncmp (L"x", NULL, 0) == 0);
|
|
ASSERT (wcsncmp (NULL, NULL, 0) == 0);
|
|
|
|
ASSERT (volatile_null_wcsncmp (NULL, L"x", 0) == 0);
|
|
#endif
|
|
|
|
return test_exit_status;
|
|
}
|