Bug 272915

ISO C 23 § 7.31.4.4.3 together with § 7.31.4.4.(1) and § 7.31.1.(6) specifies that wcsncmp must compare the string elements as wchar_t values, and that all wchar_t values can legitimately occur.

On FreeBSD/x86_64, wchar_t is signed, i.e. equivalent to 'int'. In the test case below, cmp must therefore come out positive, since a[0] > 0 > b[0]. But wcsncmp in FreeBSD compares the wchar_t values as if they were unsigned.

How to reproduce:
================================= foo.c =============================
#include <wchar.h>
int main ()
{
  /* This test fails on glibc < 2.15, musl libc 1.2.3, macOS 12.5,
     FreeBSD 13.2, NetBSD 9.0, OpenBSD 7.2, Solaris 11.4.  */
  wchar_t a[2] = { (wchar_t) 0x76547654, 0 };
  wchar_t b[2] = { (wchar_t) 0x9abc9abc, 0 };
  int cmp = wcsncmp (a, b, 1);
  return (!((wchar_t)-1 < 0 ? cmp > 0 : cmp < 0));
}
=====================================================================
$ cc foo.c
$ ./a.out
$ echo $?
1