diff options
author | Jonathan Wakely <jwakely@redhat.com> | 2021-10-08 14:52:07 +0100 |
---|---|---|
committer | Jonathan Wakely <jwakely@redhat.com> | 2021-10-09 00:57:49 +0100 |
commit | 4bdb9d618d30fc33d7eaab374baf377fa4e9d955 (patch) | |
tree | 8eb6d343d487b65fa9671831209b14ced33d60c4 | |
parent | 4997c8b30ecfc82f9e6ce874cbd3840e227522eb (diff) | |
download | gcc-4bdb9d618d30fc33d7eaab374baf377fa4e9d955.zip gcc-4bdb9d618d30fc33d7eaab374baf377fa4e9d955.tar.gz gcc-4bdb9d618d30fc33d7eaab374baf377fa4e9d955.tar.bz2 |
libstdc++: Enable type traits for wchar_t unconditionally [PR98725]
None of these traits depend on libc support for wchar_t, so they should
be defined unconditionally. The wchar_t type is always defined in C++.
libstdc++-v3/ChangeLog:
PR libstdc++/98725
* include/c_global/cstddef [!_GLIBCXX_USE_WCHAR_T]
(__byte_operand<wchar_t>): Define specialization.
* include/std/type_traits (__make_signed<wchar_t>)
(__make_unsigned<wchar_t>): Remove redundant check for
__WCHAR_TYPE__ being defined.
* include/tr1/type_traits [!_GLIBCXX_USE_WCHAR_T]
(__is_integral_helper<wchar_t>): Likewise.
-rw-r--r-- | libstdc++-v3/include/c_global/cstddef | 2 | ||||
-rw-r--r-- | libstdc++-v3/include/std/type_traits | 8 | ||||
-rw-r--r-- | libstdc++-v3/include/tr1/type_traits | 2 |
3 files changed, 1 insertions, 11 deletions
diff --git a/libstdc++-v3/include/c_global/cstddef b/libstdc++-v3/include/c_global/cstddef index 13ef7f0..a96319e 100644 --- a/libstdc++-v3/include/c_global/cstddef +++ b/libstdc++-v3/include/c_global/cstddef @@ -73,9 +73,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION template<> struct __byte_operand<char> { using __type = byte; }; template<> struct __byte_operand<signed char> { using __type = byte; }; template<> struct __byte_operand<unsigned char> { using __type = byte; }; -#ifdef _GLIBCXX_USE_WCHAR_T template<> struct __byte_operand<wchar_t> { using __type = byte; }; -#endif #ifdef _GLIBCXX_USE_CHAR8_T template<> struct __byte_operand<char8_t> { using __type = byte; }; #endif diff --git a/libstdc++-v3/include/std/type_traits b/libstdc++-v3/include/std/type_traits index 35ff580..d3693b1 100644 --- a/libstdc++-v3/include/std/type_traits +++ b/libstdc++-v3/include/std/type_traits @@ -309,12 +309,10 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION // We want is_integral<wchar_t> to be true (and make_signed/unsigned to work) // even when libc doesn't provide working <wchar.h> and related functions, - // so check __WCHAR_TYPE__ instead of _GLIBCXX_USE_WCHAR_T. -#ifdef __WCHAR_TYPE__ + // so don't check _GLIBCXX_USE_WCHAR_T here. template<> struct __is_integral_helper<wchar_t> : public true_type { }; -#endif #ifdef _GLIBCXX_USE_CHAR8_T template<> @@ -1828,14 +1826,12 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION // neither signed integer types nor unsigned integer types, so must be // transformed to the unsigned integer type with the smallest rank. // Use the partial specialization for enumeration types to do that. -#ifdef __WCHAR_TYPE__ template<> struct __make_unsigned<wchar_t> { using __type = typename __make_unsigned_selector<wchar_t, false, true>::__type; }; -#endif #ifdef _GLIBCXX_USE_CHAR8_T template<> @@ -1960,14 +1956,12 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION // signed integer types nor unsigned integer types, so must be // transformed to the signed integer type with the smallest rank. // Use the partial specialization for enumeration types to do that. -#if defined(__WCHAR_TYPE__) template<> struct __make_signed<wchar_t> { using __type = typename __make_signed_selector<wchar_t, false, true>::__type; }; -#endif #if defined(_GLIBCXX_USE_CHAR8_T) template<> diff --git a/libstdc++-v3/include/tr1/type_traits b/libstdc++-v3/include/tr1/type_traits index e62369c..16d7e33 100644 --- a/libstdc++-v3/include/tr1/type_traits +++ b/libstdc++-v3/include/tr1/type_traits @@ -109,9 +109,7 @@ namespace tr1 _DEFINE_SPEC(0, __is_integral_helper, char, true) _DEFINE_SPEC(0, __is_integral_helper, signed char, true) _DEFINE_SPEC(0, __is_integral_helper, unsigned char, true) -#ifdef _GLIBCXX_USE_WCHAR_T _DEFINE_SPEC(0, __is_integral_helper, wchar_t, true) -#endif _DEFINE_SPEC(0, __is_integral_helper, short, true) _DEFINE_SPEC(0, __is_integral_helper, unsigned short, true) _DEFINE_SPEC(0, __is_integral_helper, int, true) |