]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/18_support/numeric_limits/char8_t.cc
1 // { dg-do run { target c++11 } }
2 // { dg-require-cstdint "" }
3 // { dg-options "-fchar8_t" }
5 // Copyright (C) 2017-2020 Free Software Foundation, Inc.
7 // This file is part of the GNU ISO C++ Library. This library is free
8 // software; you can redistribute it and/or modify it under the
9 // terms of the GNU General Public License as published by the
10 // Free Software Foundation; either version 3, or (at your option)
13 // This library is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 // GNU General Public License for more details.
18 // You should have received a copy of the GNU General Public License along
19 // with this library; see the file COPYING3. If not see
20 // <http://www.gnu.org/licenses/>.
24 #include <testsuite_hooks.h>
26 // Test specializations for char8_t.
27 template<typename T
, typename R
>
31 typedef std::numeric_limits
<T
> char_type
;
32 typedef std::numeric_limits
<R
> impl_type
;
34 VERIFY( char_type::is_specialized
== impl_type::is_specialized
);
35 VERIFY( char_type::min() == impl_type::min() );
36 VERIFY( char_type::max() == impl_type::max() );
37 VERIFY( char_type::digits
== impl_type::digits
);
38 VERIFY( char_type::digits10
== impl_type::digits10
);
39 VERIFY( char_type::is_signed
== impl_type::is_signed
);
40 VERIFY( char_type::is_integer
== impl_type::is_integer
);
41 VERIFY( char_type::is_exact
== impl_type::is_exact
);
42 VERIFY( char_type::radix
== impl_type::radix
);
43 VERIFY( char_type::epsilon() == impl_type::epsilon() );
44 VERIFY( char_type::round_error() == impl_type::round_error() );
45 VERIFY( char_type::min_exponent
== impl_type::min_exponent
);
46 VERIFY( char_type::min_exponent10
== impl_type::min_exponent10
);
47 VERIFY( char_type::max_exponent
== impl_type::max_exponent
);
48 VERIFY( char_type::max_exponent10
== impl_type::max_exponent10
);
49 VERIFY( char_type::has_infinity
== impl_type::has_infinity
);
50 VERIFY( char_type::has_quiet_NaN
== impl_type::has_quiet_NaN
);
51 VERIFY( char_type::has_signaling_NaN
== impl_type::has_signaling_NaN
);
52 VERIFY( char_type::has_denorm
== impl_type::has_denorm
);
53 VERIFY( char_type::has_denorm_loss
== impl_type::has_denorm_loss
);
54 VERIFY( char_type::infinity() == impl_type::infinity() );
55 VERIFY( char_type::quiet_NaN() == impl_type::quiet_NaN() );
56 VERIFY( char_type::signaling_NaN() == impl_type::signaling_NaN() );
57 VERIFY( char_type::denorm_min() == impl_type::denorm_min() );
58 VERIFY( char_type::is_iec559
== impl_type::is_iec559
);
59 VERIFY( char_type::is_bounded
== impl_type::is_bounded
);
60 VERIFY( char_type::is_modulo
== impl_type::is_modulo
);
61 VERIFY( char_type::traps
== impl_type::traps
);
62 VERIFY( char_type::tinyness_before
== impl_type::tinyness_before
);
63 VERIFY( char_type::round_style
== impl_type::round_style
);
68 do_test
<char8_t
, unsigned char>();