1 // { dg-options "-std=gnu++0x" }
2 // { dg-add-options ieee }
3 
4 // 2010-02-25  Ed Smith-Rowland
5 
6 // Copyright (C) 2010-2013 Free Software Foundation, Inc.
7 //
8 // This file is part of the GNU ISO C++ Library.  This library is free
9 // software; you can redistribute it and/or modify it under the
10 // terms of the GNU General Public License as published by the
11 // Free Software Foundation; either version 3, or (at your option)
12 // any later version.
13 
14 // This library is distributed in the hope that it will be useful,
15 // but WITHOUT ANY WARRANTY; without even the implied warranty of
16 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
17 // GNU General Public License for more details.
18 
19 // You should have received a copy of the GNU General Public License along
20 // with this library; see the file COPYING3.  If not see
21 // <http://www.gnu.org/licenses/>.
22 
23 // 18.2.1.1 template class numeric_limits
24 
25 #include <limits>
26 #include <type_traits>
27 #include <testsuite_hooks.h>
28 
29 template<typename T>
30   void
do_test(std::true_type)31   do_test(std::true_type)
32   {
33     bool test __attribute__((unused)) = true;
34     T limits_min = std::numeric_limits<T>::min();
35     VERIFY( std::numeric_limits<T>::lowest() == limits_min );
36   }
37 
38 template<typename T>
39   void
do_test(std::false_type)40   do_test(std::false_type)
41   {
42     bool test __attribute__((unused)) = true;
43     T limits_max = std::numeric_limits<T>::max();
44     VERIFY( std::numeric_limits<T>::lowest() == -limits_max );
45   }
46 
47 template<typename Tp>
48   void
do_test()49   do_test()
50   { do_test<Tp>(typename std::is_integral<Tp>::type()); }
51 
test01()52 void test01()
53 {
54   do_test<char>();
55   do_test<signed char>();
56   do_test<unsigned char>();
57 #ifdef _GLIBCXX_USE_WCHAR_T
58   do_test<wchar_t>();
59 #endif
60   do_test<char16_t>();
61   do_test<char32_t>();
62 
63   do_test<short>();
64   do_test<unsigned short>();
65 
66   do_test<int>();
67   do_test<unsigned int>();
68 
69   do_test<long>();
70   do_test<unsigned long>();
71 
72   do_test<long long>();
73   do_test<unsigned long long>();
74 
75   // GNU Extensions.
76 #ifdef _GLIBCXX_USE_INT128
77   do_test<__int128>();
78   do_test<unsigned __int128>();
79 #endif
80 
81   do_test<float>();
82   do_test<double>();
83   do_test<long double>();
84 }
85 
main()86 int main()
87 {
88   test01();
89   return 0;
90 }
91