71   typedef numeric_limits<_Tp> lim;  in test_integral_limits_base()  typedef
73   CHECK_COND(lim::is_specialized);  in test_integral_limits_base()
74   CHECK_COND(lim::is_exact);  in test_integral_limits_base()
75   CHECK_COND(lim::is_integer);  in test_integral_limits_base()
76   CHECK_COND(!lim::is_iec559);  in test_integral_limits_base()
77   CHECK_COND(lim::min() < lim::max());  in test_integral_limits_base()
78 …CHECK_COND((unknown_sign && ((lim::is_signed && (lim::min() != 0)) || (!lim::is_signed && (lim::mi…  in test_integral_limits_base()
79              (!unknown_sign && ((lim::is_signed && is_signed) || (!lim::is_signed && !is_signed))));  in test_integral_limits_base()
82     CHECK_COND(valid_sign_info(lim::is_signed, _Tp()));  in test_integral_limits_base()
92   typedef numeric_limits<_Tp> lim;  in test_integral_limits()  typedef
94   CHECK_COND(lim::is_modulo);  in test_integral_limits()
96   if (lim::is_bounded ||  in test_integral_limits()
97      (!lim::is_bounded && !lim::is_signed)) {  in test_integral_limits()
98     _Tp tmp = lim::min();  in test_integral_limits()
99     CHECK_COND( --tmp > lim::min() );  in test_integral_limits()
102   if (lim::is_bounded) {  in test_integral_limits()
103     _Tp tmp = lim::max();  in test_integral_limits()
104     CHECK_COND( ++tmp < lim::max() );  in test_integral_limits()
125   typedef numeric_limits<_Tp> lim;  in test_float_limits()  typedef
126   CHECK_COND(lim::is_specialized);  in test_float_limits()
127   CHECK_COND(!lim::is_modulo);  in test_float_limits()
128   CHECK_COND(!lim::is_integer);  in test_float_limits()
129   CHECK_COND(lim::is_signed);  in test_float_limits()
131   CHECK_COND(lim::max() > 1000);  in test_float_limits()
132   CHECK_COND(lim::min() > 0);  in test_float_limits()
133   CHECK_COND(lim::min() < 0.001);  in test_float_limits()
134   CHECK_COND(lim::epsilon() > 0);  in test_float_limits()
136   if (lim::is_iec559) {  in test_float_limits()
137     CHECK_COND(lim::has_infinity);  in test_float_limits()
138     CHECK_COND(lim::has_quiet_NaN);  in test_float_limits()
139     CHECK_COND(lim::has_signaling_NaN);  in test_float_limits()
140     CHECK_COND(lim::has_denorm == denorm_present);  in test_float_limits()
143   if (lim::has_denorm == denorm_absent) {  in test_float_limits()
144     CHECK_COND(lim::denorm_min() == lim::min());  in test_float_limits()
145     _Tp tmp = lim::min();  in test_float_limits()
147     if (tmp > 0 && tmp < lim::min()) {  in test_float_limits()
152   else if (lim::has_denorm == denorm_present) {  in test_float_limits()
153     CHECK_COND(lim::denorm_min() > 0);  in test_float_limits()
154     CHECK_COND(lim::denorm_min() < lim::min());  in test_float_limits()
156     _Tp tmp = lim::min();  in test_float_limits()
161       CHECK_COND(tmp >= lim::denorm_min() || tmp == (_Tp)0);  in test_float_limits()
168   if (lim::has_infinity) {  in test_float_limits()
169     const _Tp infinity = lim::infinity();  in test_float_limits()
173     _Tp val = lim::max();  in test_float_limits()
222     CHECK_COND(infinity > lim::max());  in test_float_limits()
223     CHECK_COND(-infinity < -lim::max());  in test_float_limits()
234   typedef numeric_limits<_Tp> lim;  in test_qnan()  typedef
235   if (lim::has_quiet_NaN) {  in test_qnan()
236     const _Tp qnan = lim::quiet_NaN();  in test_qnan()