1// -*- C++ -*-
2//===---------------------------- limits ----------------------------------===//
3//
4// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5// See https://llvm.org/LICENSE.txt for license information.
6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7//
8//===----------------------------------------------------------------------===//
9
10#ifndef _LIBCPP_LIMITS
11#define _LIBCPP_LIMITS
12
13/*
14 limits synopsis
15
16namespace std
17{
18
19template<class T>
20class numeric_limits
21{
22public:
23 static constexpr bool is_specialized = false;
24 static constexpr T min() noexcept;
25 static constexpr T max() noexcept;
26 static constexpr T lowest() noexcept;
27
28 static constexpr int digits = 0;
29 static constexpr int digits10 = 0;
30 static constexpr int max_digits10 = 0;
31 static constexpr bool is_signed = false;
32 static constexpr bool is_integer = false;
33 static constexpr bool is_exact = false;
34 static constexpr int radix = 0;
35 static constexpr T epsilon() noexcept;
36 static constexpr T round_error() noexcept;
37
38 static constexpr int min_exponent = 0;
39 static constexpr int min_exponent10 = 0;
40 static constexpr int max_exponent = 0;
41 static constexpr int max_exponent10 = 0;
42
43 static constexpr bool has_infinity = false;
44 static constexpr bool has_quiet_NaN = false;
45 static constexpr bool has_signaling_NaN = false;
46 static constexpr float_denorm_style has_denorm = denorm_absent;
47 static constexpr bool has_denorm_loss = false;
48 static constexpr T infinity() noexcept;
49 static constexpr T quiet_NaN() noexcept;
50 static constexpr T signaling_NaN() noexcept;
51 static constexpr T denorm_min() noexcept;
52
53 static constexpr bool is_iec559 = false;
54 static constexpr bool is_bounded = false;
55 static constexpr bool is_modulo = false;
56
57 static constexpr bool traps = false;
58 static constexpr bool tinyness_before = false;
59 static constexpr float_round_style round_style = round_toward_zero;
60};
61
62enum float_round_style
63{
64 round_indeterminate = -1,
65 round_toward_zero = 0,
66 round_to_nearest = 1,
67 round_toward_infinity = 2,
68 round_toward_neg_infinity = 3
69};
70
71enum float_denorm_style
72{
73 denorm_indeterminate = -1,
74 denorm_absent = 0,
75 denorm_present = 1
76};
77
78template<> class numeric_limits<cv bool>;
79
80template<> class numeric_limits<cv char>;
81template<> class numeric_limits<cv signed char>;
82template<> class numeric_limits<cv unsigned char>;
83template<> class numeric_limits<cv wchar_t>;
84template<> class numeric_limits<cv char8_t>; // C++20
85template<> class numeric_limits<cv char16_t>;
86template<> class numeric_limits<cv char32_t>;
87
88template<> class numeric_limits<cv short>;
89template<> class numeric_limits<cv int>;
90template<> class numeric_limits<cv long>;
91template<> class numeric_limits<cv long long>;
92template<> class numeric_limits<cv unsigned short>;
93template<> class numeric_limits<cv unsigned int>;
94template<> class numeric_limits<cv unsigned long>;
95template<> class numeric_limits<cv unsigned long long>;
96
97template<> class numeric_limits<cv float>;
98template<> class numeric_limits<cv double>;
99template<> class numeric_limits<cv long double>;
100
101} // std
102
103*/
104#include <__config>
105#include <type_traits>
106
107#if defined(_LIBCPP_COMPILER_MSVC)
108#include "support/win32/limits_msvc_win32.h"
109#endif // _LIBCPP_MSVCRT
110
111#if defined(__IBMCPP__)
112#include "support/ibm/limits.h"
113#endif // __IBMCPP__
114
115#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
116#pragma GCC system_header
117#endif
118
119_LIBCPP_PUSH_MACROS
120#include <__undef_macros>
121#include <version>
122
123
124_LIBCPP_BEGIN_NAMESPACE_STD
125
126enum float_round_style
127{
128 round_indeterminate = -1,
129 round_toward_zero = 0,
130 round_to_nearest = 1,
131 round_toward_infinity = 2,
132 round_toward_neg_infinity = 3
133};
134
135enum float_denorm_style
136{
137 denorm_indeterminate = -1,
138 denorm_absent = 0,
139 denorm_present = 1
140};
141
142template <class _Tp, bool = is_arithmetic<_Tp>::value>
143class __libcpp_numeric_limits
144{
145protected:
146 typedef _Tp type;
147
148 static _LIBCPP_CONSTEXPR const bool is_specialized = false;
149 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return type();}
150 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return type();}
151 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return type();}
152
153 static _LIBCPP_CONSTEXPR const int digits = 0;
154 static _LIBCPP_CONSTEXPR const int digits10 = 0;
155 static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
156 static _LIBCPP_CONSTEXPR const bool is_signed = false;
157 static _LIBCPP_CONSTEXPR const bool is_integer = false;
158 static _LIBCPP_CONSTEXPR const bool is_exact = false;
159 static _LIBCPP_CONSTEXPR const int radix = 0;
160 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return type();}
161 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return type();}
162
163 static _LIBCPP_CONSTEXPR const int min_exponent = 0;
164 static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
165 static _LIBCPP_CONSTEXPR const int max_exponent = 0;
166 static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
167
168 static _LIBCPP_CONSTEXPR const bool has_infinity = false;
169 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = false;
170 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = false;
171 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
172 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
173 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return type();}
174 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return type();}
175 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return type();}
176 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return type();}
177
178 static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
179 static _LIBCPP_CONSTEXPR const bool is_bounded = false;
180 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
181
182 static _LIBCPP_CONSTEXPR const bool traps = false;
183 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
184 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
185};
186
187template <class _Tp, int __digits, bool _IsSigned>
188struct __libcpp_compute_min
189{
190 static _LIBCPP_CONSTEXPR const _Tp value = _Tp(_Tp(1) << __digits);
191};
192
193template <class _Tp, int __digits>
194struct __libcpp_compute_min<_Tp, __digits, false>
195{
196 static _LIBCPP_CONSTEXPR const _Tp value = _Tp(0);
197};
198
199template <class _Tp>
200class __libcpp_numeric_limits<_Tp, true>
201{
202protected:
203 typedef _Tp type;
204
205 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
206
207 static _LIBCPP_CONSTEXPR const bool is_signed = type(-1) < type(0);
208 static _LIBCPP_CONSTEXPR const int digits = static_cast<int>(sizeof(type) * __CHAR_BIT__ - is_signed);
209 static _LIBCPP_CONSTEXPR const int digits10 = digits * 3 / 10;
210 static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
211 static _LIBCPP_CONSTEXPR const type __min = __libcpp_compute_min<type, digits, is_signed>::value;
212 static _LIBCPP_CONSTEXPR const type __max = is_signed ? type(type(~0) ^ __min) : type(~0);
213 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __min;}
214 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __max;}
215 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return min();}
216
217 static _LIBCPP_CONSTEXPR const bool is_integer = true;
218 static _LIBCPP_CONSTEXPR const bool is_exact = true;
219 static _LIBCPP_CONSTEXPR const int radix = 2;
220 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return type(0);}
221 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return type(0);}
222
223 static _LIBCPP_CONSTEXPR const int min_exponent = 0;
224 static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
225 static _LIBCPP_CONSTEXPR const int max_exponent = 0;
226 static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
227
228 static _LIBCPP_CONSTEXPR const bool has_infinity = false;
229 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = false;
230 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = false;
231 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
232 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
233 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return type(0);}
234 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return type(0);}
235 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return type(0);}
236 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return type(0);}
237
238 static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
239 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
240 static _LIBCPP_CONSTEXPR const bool is_modulo = !_VSTD::is_signed<_Tp>::value;
241
242#if defined(__i386__) || defined(__x86_64__) || defined(__pnacl__) || \
243 defined(__wasm__)
244 static _LIBCPP_CONSTEXPR const bool traps = true;
245#else
246 static _LIBCPP_CONSTEXPR const bool traps = false;
247#endif
248 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
249 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
250};
251
252template <>
253class __libcpp_numeric_limits<bool, true>
254{
255protected:
256 typedef bool type;
257
258 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
259
260 static _LIBCPP_CONSTEXPR const bool is_signed = false;
261 static _LIBCPP_CONSTEXPR const int digits = 1;
262 static _LIBCPP_CONSTEXPR const int digits10 = 0;
263 static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
264 static _LIBCPP_CONSTEXPR const type __min = false;
265 static _LIBCPP_CONSTEXPR const type __max = true;
266 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __min;}
267 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __max;}
268 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return min();}
269
270 static _LIBCPP_CONSTEXPR const bool is_integer = true;
271 static _LIBCPP_CONSTEXPR const bool is_exact = true;
272 static _LIBCPP_CONSTEXPR const int radix = 2;
273 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return type(0);}
274 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return type(0);}
275
276 static _LIBCPP_CONSTEXPR const int min_exponent = 0;
277 static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
278 static _LIBCPP_CONSTEXPR const int max_exponent = 0;
279 static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
280
281 static _LIBCPP_CONSTEXPR const bool has_infinity = false;
282 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = false;
283 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = false;
284 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
285 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
286 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return type(0);}
287 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return type(0);}
288 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return type(0);}
289 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return type(0);}
290
291 static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
292 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
293 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
294
295 static _LIBCPP_CONSTEXPR const bool traps = false;
296 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
297 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
298};
299
300template <>
301class __libcpp_numeric_limits<float, true>
302{
303protected:
304 typedef float type;
305
306 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
307
308 static _LIBCPP_CONSTEXPR const bool is_signed = true;
309 static _LIBCPP_CONSTEXPR const int digits = __FLT_MANT_DIG__;
310 static _LIBCPP_CONSTEXPR const int digits10 = __FLT_DIG__;
311 static _LIBCPP_CONSTEXPR const int max_digits10 = 2+(digits * 30103l)/100000l;
312 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __FLT_MIN__;}
313 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __FLT_MAX__;}
314 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return -max();}
315
316 static _LIBCPP_CONSTEXPR const bool is_integer = false;
317 static _LIBCPP_CONSTEXPR const bool is_exact = false;
318 static _LIBCPP_CONSTEXPR const int radix = __FLT_RADIX__;
319 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __FLT_EPSILON__;}
320 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return 0.5F;}
321
322 static _LIBCPP_CONSTEXPR const int min_exponent = __FLT_MIN_EXP__;
323 static _LIBCPP_CONSTEXPR const int min_exponent10 = __FLT_MIN_10_EXP__;
324 static _LIBCPP_CONSTEXPR const int max_exponent = __FLT_MAX_EXP__;
325 static _LIBCPP_CONSTEXPR const int max_exponent10 = __FLT_MAX_10_EXP__;
326
327 static _LIBCPP_CONSTEXPR const bool has_infinity = true;
328 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = true;
329 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = true;
330 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
331 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
332 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __builtin_huge_valf();}
333 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __builtin_nanf("");}
334 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __builtin_nansf("");}
335 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __FLT_DENORM_MIN__;}
336
337 static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
338 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
339 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
340
341 static _LIBCPP_CONSTEXPR const bool traps = false;
342 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
343 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
344};
345
346template <>
347class __libcpp_numeric_limits<double, true>
348{
349protected:
350 typedef double type;
351
352 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
353
354 static _LIBCPP_CONSTEXPR const bool is_signed = true;
355 static _LIBCPP_CONSTEXPR const int digits = __DBL_MANT_DIG__;
356 static _LIBCPP_CONSTEXPR const int digits10 = __DBL_DIG__;
357 static _LIBCPP_CONSTEXPR const int max_digits10 = 2+(digits * 30103l)/100000l;
358 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __DBL_MIN__;}
359 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __DBL_MAX__;}
360 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return -max();}
361
362 static _LIBCPP_CONSTEXPR const bool is_integer = false;
363 static _LIBCPP_CONSTEXPR const bool is_exact = false;
364 static _LIBCPP_CONSTEXPR const int radix = __FLT_RADIX__;
365 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __DBL_EPSILON__;}
366 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return 0.5;}
367
368 static _LIBCPP_CONSTEXPR const int min_exponent = __DBL_MIN_EXP__;
369 static _LIBCPP_CONSTEXPR const int min_exponent10 = __DBL_MIN_10_EXP__;
370 static _LIBCPP_CONSTEXPR const int max_exponent = __DBL_MAX_EXP__;
371 static _LIBCPP_CONSTEXPR const int max_exponent10 = __DBL_MAX_10_EXP__;
372
373 static _LIBCPP_CONSTEXPR const bool has_infinity = true;
374 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = true;
375 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = true;
376 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
377 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
378 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __builtin_huge_val();}
379 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __builtin_nan("");}
380 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __builtin_nans("");}
381 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __DBL_DENORM_MIN__;}
382
383 static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
384 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
385 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
386
387 static _LIBCPP_CONSTEXPR const bool traps = false;
388 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
389 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
390};
391
392template <>
393class __libcpp_numeric_limits<long double, true>
394{
395protected:
396 typedef long double type;
397
398 static _LIBCPP_CONSTEXPR const bool is_specialized = true;
399
400 static _LIBCPP_CONSTEXPR const bool is_signed = true;
401 static _LIBCPP_CONSTEXPR const int digits = __LDBL_MANT_DIG__;
402 static _LIBCPP_CONSTEXPR const int digits10 = __LDBL_DIG__;
403 static _LIBCPP_CONSTEXPR const int max_digits10 = 2+(digits * 30103l)/100000l;
404 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __LDBL_MIN__;}
405 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __LDBL_MAX__;}
406 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return -max();}
407
408 static _LIBCPP_CONSTEXPR const bool is_integer = false;
409 static _LIBCPP_CONSTEXPR const bool is_exact = false;
410 static _LIBCPP_CONSTEXPR const int radix = __FLT_RADIX__;
411 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __LDBL_EPSILON__;}
412 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return 0.5L;}
413
414 static _LIBCPP_CONSTEXPR const int min_exponent = __LDBL_MIN_EXP__;
415 static _LIBCPP_CONSTEXPR const int min_exponent10 = __LDBL_MIN_10_EXP__;
416 static _LIBCPP_CONSTEXPR const int max_exponent = __LDBL_MAX_EXP__;
417 static _LIBCPP_CONSTEXPR const int max_exponent10 = __LDBL_MAX_10_EXP__;
418
419 static _LIBCPP_CONSTEXPR const bool has_infinity = true;
420 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = true;
421 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = true;
422 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
423 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = false;
424 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __builtin_huge_vall();}
425 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __builtin_nanl("");}
426 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __builtin_nansl("");}
427 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __LDBL_DENORM_MIN__;}
428
429#if (defined(__ppc__) || defined(__ppc64__))
430 static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
431#else
432 static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
433#endif
434 static _LIBCPP_CONSTEXPR const bool is_bounded = true;
435 static _LIBCPP_CONSTEXPR const bool is_modulo = false;
436
437 static _LIBCPP_CONSTEXPR const bool traps = false;
438 static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
439 static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
440};
441
442template <class _Tp>
443class _LIBCPP_TEMPLATE_VIS numeric_limits
444 : private __libcpp_numeric_limits<typename remove_cv<_Tp>::type>
445{
446 typedef __libcpp_numeric_limits<typename remove_cv<_Tp>::type> __base;
447 typedef typename __base::type type;
448public:
449 static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
450 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
451 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
452 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
453
454 static _LIBCPP_CONSTEXPR const int digits = __base::digits;
455 static _LIBCPP_CONSTEXPR const int digits10 = __base::digits10;
456 static _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
457 static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
458 static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
459 static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
460 static _LIBCPP_CONSTEXPR const int radix = __base::radix;
461 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
462 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
463
464 static _LIBCPP_CONSTEXPR const int min_exponent = __base::min_exponent;
465 static _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
466 static _LIBCPP_CONSTEXPR const int max_exponent = __base::max_exponent;
467 static _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
468
469 static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
470 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
471 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
472 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
473 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
474 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
475 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
476 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
477 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
478
479 static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
480 static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
481 static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
482
483 static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
484 static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
485 static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
486};
487
488template <class _Tp>
489 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_specialized;
490template <class _Tp>
491 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::digits;
492template <class _Tp>
493 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::digits10;
494template <class _Tp>
495 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_digits10;
496template <class _Tp>
497 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_signed;
498template <class _Tp>
499 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_integer;
500template <class _Tp>
501 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_exact;
502template <class _Tp>
503 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::radix;
504template <class _Tp>
505 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::min_exponent;
506template <class _Tp>
507 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::min_exponent10;
508template <class _Tp>
509 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_exponent;
510template <class _Tp>
511 _LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_exponent10;
512template <class _Tp>
513 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_infinity;
514template <class _Tp>
515 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_quiet_NaN;
516template <class _Tp>
517 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_signaling_NaN;
518template <class _Tp>
519 _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<_Tp>::has_denorm;
520template <class _Tp>
521 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_denorm_loss;
522template <class _Tp>
523 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_iec559;
524template <class _Tp>
525 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_bounded;
526template <class _Tp>
527 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_modulo;
528template <class _Tp>
529 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::traps;
530template <class _Tp>
531 _LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::tinyness_before;
532template <class _Tp>
533 _LIBCPP_CONSTEXPR const float_round_style numeric_limits<_Tp>::round_style;
534
535template <class _Tp>
536class _LIBCPP_TEMPLATE_VIS numeric_limits<const _Tp>
537 : private numeric_limits<_Tp>
538{
539 typedef numeric_limits<_Tp> __base;
540 typedef _Tp type;
541public:
542 static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
543 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
544 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
545 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
546
547 static _LIBCPP_CONSTEXPR const int digits = __base::digits;
548 static _LIBCPP_CONSTEXPR const int digits10 = __base::digits10;
549 static _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
550 static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
551 static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
552 static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
553 static _LIBCPP_CONSTEXPR const int radix = __base::radix;
554 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
555 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
556
557 static _LIBCPP_CONSTEXPR const int min_exponent = __base::min_exponent;
558 static _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
559 static _LIBCPP_CONSTEXPR const int max_exponent = __base::max_exponent;
560 static _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
561
562 static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
563 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
564 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
565 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
566 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
567 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
568 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
569 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
570 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
571
572 static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
573 static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
574 static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
575
576 static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
577 static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
578 static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
579};
580
581template <class _Tp>
582 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_specialized;
583template <class _Tp>
584 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::digits;
585template <class _Tp>
586 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::digits10;
587template <class _Tp>
588 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::max_digits10;
589template <class _Tp>
590 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_signed;
591template <class _Tp>
592 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_integer;
593template <class _Tp>
594 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_exact;
595template <class _Tp>
596 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::radix;
597template <class _Tp>
598 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::min_exponent;
599template <class _Tp>
600 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::min_exponent10;
601template <class _Tp>
602 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::max_exponent;
603template <class _Tp>
604 _LIBCPP_CONSTEXPR const int numeric_limits<const _Tp>::max_exponent10;
605template <class _Tp>
606 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_infinity;
607template <class _Tp>
608 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_quiet_NaN;
609template <class _Tp>
610 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_signaling_NaN;
611template <class _Tp>
612 _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<const _Tp>::has_denorm;
613template <class _Tp>
614 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::has_denorm_loss;
615template <class _Tp>
616 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_iec559;
617template <class _Tp>
618 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_bounded;
619template <class _Tp>
620 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::is_modulo;
621template <class _Tp>
622 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::traps;
623template <class _Tp>
624 _LIBCPP_CONSTEXPR const bool numeric_limits<const _Tp>::tinyness_before;
625template <class _Tp>
626 _LIBCPP_CONSTEXPR const float_round_style numeric_limits<const _Tp>::round_style;
627
628template <class _Tp>
629class _LIBCPP_TEMPLATE_VIS numeric_limits<volatile _Tp>
630 : private numeric_limits<_Tp>
631{
632 typedef numeric_limits<_Tp> __base;
633 typedef _Tp type;
634public:
635 static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
636 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
637 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
638 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
639
640 static _LIBCPP_CONSTEXPR const int digits = __base::digits;
641 static _LIBCPP_CONSTEXPR const int digits10 = __base::digits10;
642 static _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
643 static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
644 static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
645 static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
646 static _LIBCPP_CONSTEXPR const int radix = __base::radix;
647 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
648 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
649
650 static _LIBCPP_CONSTEXPR const int min_exponent = __base::min_exponent;
651 static _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
652 static _LIBCPP_CONSTEXPR const int max_exponent = __base::max_exponent;
653 static _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
654
655 static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
656 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
657 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
658 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
659 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
660 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
661 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
662 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
663 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
664
665 static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
666 static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
667 static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
668
669 static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
670 static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
671 static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
672};
673
674template <class _Tp>
675 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_specialized;
676template <class _Tp>
677 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::digits;
678template <class _Tp>
679 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::digits10;
680template <class _Tp>
681 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::max_digits10;
682template <class _Tp>
683 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_signed;
684template <class _Tp>
685 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_integer;
686template <class _Tp>
687 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_exact;
688template <class _Tp>
689 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::radix;
690template <class _Tp>
691 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::min_exponent;
692template <class _Tp>
693 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::min_exponent10;
694template <class _Tp>
695 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::max_exponent;
696template <class _Tp>
697 _LIBCPP_CONSTEXPR const int numeric_limits<volatile _Tp>::max_exponent10;
698template <class _Tp>
699 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_infinity;
700template <class _Tp>
701 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_quiet_NaN;
702template <class _Tp>
703 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_signaling_NaN;
704template <class _Tp>
705 _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<volatile _Tp>::has_denorm;
706template <class _Tp>
707 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::has_denorm_loss;
708template <class _Tp>
709 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_iec559;
710template <class _Tp>
711 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_bounded;
712template <class _Tp>
713 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::is_modulo;
714template <class _Tp>
715 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::traps;
716template <class _Tp>
717 _LIBCPP_CONSTEXPR const bool numeric_limits<volatile _Tp>::tinyness_before;
718template <class _Tp>
719 _LIBCPP_CONSTEXPR const float_round_style numeric_limits<volatile _Tp>::round_style;
720
721template <class _Tp>
722class _LIBCPP_TEMPLATE_VIS numeric_limits<const volatile _Tp>
723 : private numeric_limits<_Tp>
724{
725 typedef numeric_limits<_Tp> __base;
726 typedef _Tp type;
727public:
728 static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
729 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type min() _NOEXCEPT {return __base::min();}
730 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type max() _NOEXCEPT {return __base::max();}
731 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT {return __base::lowest();}
732
733 static _LIBCPP_CONSTEXPR const int digits = __base::digits;
734 static _LIBCPP_CONSTEXPR const int digits10 = __base::digits10;
735 static _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
736 static _LIBCPP_CONSTEXPR const bool is_signed = __base::is_signed;
737 static _LIBCPP_CONSTEXPR const bool is_integer = __base::is_integer;
738 static _LIBCPP_CONSTEXPR const bool is_exact = __base::is_exact;
739 static _LIBCPP_CONSTEXPR const int radix = __base::radix;
740 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {return __base::epsilon();}
741 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {return __base::round_error();}
742
743 static _LIBCPP_CONSTEXPR const int min_exponent = __base::min_exponent;
744 static _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
745 static _LIBCPP_CONSTEXPR const int max_exponent = __base::max_exponent;
746 static _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
747
748 static _LIBCPP_CONSTEXPR const bool has_infinity = __base::has_infinity;
749 static _LIBCPP_CONSTEXPR const bool has_quiet_NaN = __base::has_quiet_NaN;
750 static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
751 static _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
752 static _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
753 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {return __base::infinity();}
754 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {return __base::quiet_NaN();}
755 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {return __base::signaling_NaN();}
756 _LIBCPP_INLINE_VISIBILITY static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {return __base::denorm_min();}
757
758 static _LIBCPP_CONSTEXPR const bool is_iec559 = __base::is_iec559;
759 static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
760 static _LIBCPP_CONSTEXPR const bool is_modulo = __base::is_modulo;
761
762 static _LIBCPP_CONSTEXPR const bool traps = __base::traps;
763 static _LIBCPP_CONSTEXPR const bool tinyness_before = __base::tinyness_before;
764 static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
765};
766
767template <class _Tp>
768 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_specialized;
769template <class _Tp>
770 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::digits;
771template <class _Tp>
772 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::digits10;
773template <class _Tp>
774 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::max_digits10;
775template <class _Tp>
776 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_signed;
777template <class _Tp>
778 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_integer;
779template <class _Tp>
780 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_exact;
781template <class _Tp>
782 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::radix;
783template <class _Tp>
784 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::min_exponent;
785template <class _Tp>
786 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::min_exponent10;
787template <class _Tp>
788 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::max_exponent;
789template <class _Tp>
790 _LIBCPP_CONSTEXPR const int numeric_limits<const volatile _Tp>::max_exponent10;
791template <class _Tp>
792 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_infinity;
793template <class _Tp>
794 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_quiet_NaN;
795template <class _Tp>
796 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_signaling_NaN;
797template <class _Tp>
798 _LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<const volatile _Tp>::has_denorm;
799template <class _Tp>
800 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::has_denorm_loss;
801template <class _Tp>
802 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_iec559;
803template <class _Tp>
804 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_bounded;
805template <class _Tp>
806 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::is_modulo;
807template <class _Tp>
808 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::traps;
809template <class _Tp>
810 _LIBCPP_CONSTEXPR const bool numeric_limits<const volatile _Tp>::tinyness_before;
811template <class _Tp>
812 _LIBCPP_CONSTEXPR const float_round_style numeric_limits<const volatile _Tp>::round_style;
813
814_LIBCPP_END_NAMESPACE_STD
815
816_LIBCPP_POP_MACROS
817
818#endif // _LIBCPP_LIMITS
819