diff --git a/libstdc++-v3/include/bits/char_traits.h b/libstdc++-v3/include/bits/char_traits.h index ea1e036f721..95fb7c1ee89 100644 --- a/libstdc++-v3/include/bits/char_traits.h +++ b/libstdc++-v3/include/bits/char_traits.h @@ -349,7 +349,14 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION if (__builtin_constant_p(__n) && __constant_char_array_p(__s1, __n) && __constant_char_array_p(__s2, __n)) - return __gnu_cxx::char_traits::compare(__s1, __s2, __n); + { + for (size_t __i = 0; __i < __n; ++__i) + if (lt(__s1[__i], __s2[__i])) + return -1; + else if (lt(__s2[__i], __s1[__i])) + return 1; + return 0; + } #endif return __builtin_memcmp(__s1, __s2, __n); } diff --git a/libstdc++-v3/testsuite/21_strings/char_traits/requirements/char/99181.cc b/libstdc++-v3/testsuite/21_strings/char_traits/requirements/char/99181.cc new file mode 100644 index 00000000000..01a70da046c --- /dev/null +++ b/libstdc++-v3/testsuite/21_strings/char_traits/requirements/char/99181.cc @@ -0,0 +1,40 @@ +// { dg-options "-std=gnu++17" } +// { dg-do run { target c++17 } } + +// Copyright (C) 2021 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library 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, or (at your option) +// any later version. + +// This library 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 library; see the file COPYING3. If not see +// . + +#include +#include + +void test01() +{ + const char *a = "\x7f"; + const char *b = "\x80"; + int c = std::char_traits::compare(a, b, 2); + constexpr int d = std::char_traits::compare("\x7f", "\x80", 2); + + VERIFY( c && (c < 0) == (static_cast(a[0]) + < static_cast(b[0])) ); + VERIFY( d && (c < 0) == (d < 0) ); +} + +int main() +{ + test01(); + return 0; +}