63 template <class _Tp>
64 bool valid_sign_info(bool limit_is_signed, const _Tp &) {  in valid_sign_info()  argument
65   return (limit_is_signed && _Tp(-1) < 0) ||  in valid_sign_info()
66          (!limit_is_signed && _Tp(-1) > 0);  in valid_sign_info()
69 template <class _Tp>
70 bool test_integral_limits_base(const _Tp &, bool unknown_sign = true, bool is_signed = true) {  in test_integral_limits_base()  argument
71   typedef numeric_limits<_Tp> lim;  in test_integral_limits_base()
82     CHECK_COND(valid_sign_info(lim::is_signed, _Tp()));  in test_integral_limits_base()
87 template <class _Tp>
88 bool test_integral_limits(const _Tp &val, bool unknown_sign = true, bool is_signed = true) {  in test_integral_limits()
92   typedef numeric_limits<_Tp> lim;  in test_integral_limits()
98     _Tp tmp = lim::min();  in test_integral_limits()
103     _Tp tmp = lim::max();  in test_integral_limits()
110 template <class _Tp>
111 bool test_signed_integral_limits(const _Tp &__val) {  in test_signed_integral_limits()
114 template <class _Tp>
115 bool test_unsigned_integral_limits(const _Tp &__val) {  in test_unsigned_integral_limits()
119 template <class _Tp>
120 bool test_float_values(_Tp lhs, _Tp rhs)  in test_float_values()
123 template <class _Tp>
124 bool test_float_limits(const _Tp &) {  in test_float_limits()  argument
125   typedef numeric_limits<_Tp> lim;  in test_float_limits()
145     _Tp tmp = lim::min();  in test_float_limits()
156     _Tp tmp = lim::min();  in test_float_limits()
158       _Tp old_tmp = tmp;  in test_float_limits()
161       CHECK_COND(tmp >= lim::denorm_min() || tmp == (_Tp)0);  in test_float_limits()
169     const _Tp infinity = lim::infinity();  in test_float_limits()
173     _Tp val = lim::max();  in test_float_limits()
232 template <class _Tp>
233 bool test_qnan(const _Tp &) {  in test_qnan()  argument
234   typedef numeric_limits<_Tp> lim;  in test_qnan()
236     const _Tp qnan = lim::quiet_NaN();  in test_qnan()