]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/20_util/integer_comparisons/in_range.cc
1 // Copyright (C) 2020-2023 Free Software Foundation, Inc.
3 // This file is part of the GNU ISO C++ Library. This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3. If not see
16 // <http://www.gnu.org/licenses/>.
18 // { dg-options "-std=gnu++2a" }
19 // { dg-do run { target c++2a } }
23 #include <testsuite_hooks.h>
28 unsigned int u
= std::numeric_limits
<unsigned int>::max();
29 VERIFY( std::in_range
<unsigned int>(u
) );
30 VERIFY( !std::in_range
<int>(u
) );
32 VERIFY( !std::in_range
<unsigned int>(s
) );
33 s
= std::numeric_limits
<int>::max();
34 VERIFY( std::in_range
<unsigned int>(s
) );
40 unsigned int u
= std::numeric_limits
<unsigned int>::max();
41 if (std::in_range
<int>(u
))
44 if (std::in_range
<unsigned>(s
))
46 s
= std::numeric_limits
<int>::max();
47 if (!std::in_range
<unsigned>(s
))
56 VERIFY( std::in_range
<int>(ss
) );
57 VERIFY( !std::in_range
<unsigned>(ss
) );
59 VERIFY( std::in_range
<short>(s
) );
60 VERIFY( !std::in_range
<unsigned>(s
) );
61 VERIFY( !std::in_range
<unsigned long>(s
) );
62 VERIFY( std::in_range
<long>(s
) );
63 s
= std::numeric_limits
<short>::min() - 1;
64 VERIFY( !std::in_range
<short>(s
) );
66 unsigned int u
= (unsigned int) -1;
67 VERIFY( !std::in_range
<int>(u
) );
68 VERIFY( !std::in_range
<unsigned short>(u
) );
70 unsigned long ul
= (unsigned long) -1;
71 VERIFY( !std::in_range
<unsigned short>(ul
) );
72 VERIFY( std::in_range
<unsigned long long>(ul
) );
79 static_assert( test02() );