tmp/tmppew5g1o5/{from.md → to.md}
RENAMED
|
@@ -6,25 +6,25 @@ standard library, suitably adjusted to ensure static type safety.
|
|
| 6 |
The descriptions of many library functions rely on the C standard
|
| 7 |
library for the semantics of those functions. In some cases, the
|
| 8 |
signatures specified in this document may be different from the
|
| 9 |
signatures in the C standard library, and additional overloads may be
|
| 10 |
declared in this document, but the behavior and the preconditions
|
| 11 |
-
(including any preconditions implied by the use of
|
| 12 |
qualifier) are the same unless otherwise stated.
|
| 13 |
|
| 14 |
A call to a C standard library function is a non-constant library call
|
| 15 |
[[defns.nonconst.libcall]] if it raises a floating-point exception other
|
| 16 |
than `FE_INEXACT`. The semantics of a call to a C standard library
|
| 17 |
function evaluated as a core constant expression are those specified in
|
| 18 |
-
|
| 19 |
|
| 20 |
to the extent applicable to the floating-point types
|
| 21 |
[[basic.fundamental]] that are parameter types of the called function.
|
| 22 |
|
| 23 |
-
[*Note 1*: Annex F specifies the conditions
|
| 24 |
-
exceptions are raised and the behavior when
|
| 25 |
-
passed as arguments. — *end note*]
|
| 26 |
|
| 27 |
[*Note 2*: Equivalently, a call to a C standard library function is a
|
| 28 |
non-constant library call if `errno` is set when
|
| 29 |
`math_errhandling & MATH_ERRNO` is `true`. — *end note*]
|
| 30 |
|
|
|
|
| 6 |
The descriptions of many library functions rely on the C standard
|
| 7 |
library for the semantics of those functions. In some cases, the
|
| 8 |
signatures specified in this document may be different from the
|
| 9 |
signatures in the C standard library, and additional overloads may be
|
| 10 |
declared in this document, but the behavior and the preconditions
|
| 11 |
+
(including any preconditions implied by the use of a C `restrict`
|
| 12 |
qualifier) are the same unless otherwise stated.
|
| 13 |
|
| 14 |
A call to a C standard library function is a non-constant library call
|
| 15 |
[[defns.nonconst.libcall]] if it raises a floating-point exception other
|
| 16 |
than `FE_INEXACT`. The semantics of a call to a C standard library
|
| 17 |
function evaluated as a core constant expression are those specified in
|
| 18 |
+
ISO/IEC 9899:2018 (C), Annex F[^1]
|
| 19 |
|
| 20 |
to the extent applicable to the floating-point types
|
| 21 |
[[basic.fundamental]] that are parameter types of the called function.
|
| 22 |
|
| 23 |
+
[*Note 1*: ISO/IEC 9899:2018 (C), Annex F specifies the conditions
|
| 24 |
+
under which floating-point exceptions are raised and the behavior when
|
| 25 |
+
NaNs and/or infinities are passed as arguments. — *end note*]
|
| 26 |
|
| 27 |
[*Note 2*: Equivalently, a call to a C standard library function is a
|
| 28 |
non-constant library call if `errno` is set when
|
| 29 |
`math_errhandling & MATH_ERRNO` is `true`. — *end note*]
|
| 30 |
|