tmp/tmpl335e5u9/{from.md → to.md}
RENAMED
|
@@ -9,5 +9,22 @@ 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 an ISO C `restrict`
|
| 12 |
qualifier) are the same unless otherwise stated.
|
| 13 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 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 an ISO 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 |
+
Annex F of the C standard[^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*: Annex F specifies the conditions under which floating-point
|
| 24 |
+
exceptions are raised and the behavior when NaNs and/or infinities are
|
| 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 |
+
|