diff options
| author | Ralf Jung <post@ralfj.de> | 2024-01-09 22:00:03 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-01-09 22:19:25 +0100 |
| commit | fa5bef849e1224b4f086ca70931ea811380e1943 (patch) | |
| tree | 1e7402182065eca86058028c18571eb9367de58c | |
| parent | 387e7a5e42ac074e79a14361e82702a229a6aac8 (diff) | |
| download | rust-fa5bef849e1224b4f086ca70931ea811380e1943.tar.gz rust-fa5bef849e1224b4f086ca70931ea811380e1943.zip | |
rint intrinsics: caution against actually trying to check for floating-point exceptions
| -rw-r--r-- | library/core/src/intrinsics.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/library/core/src/intrinsics.rs b/library/core/src/intrinsics.rs index 3d5b544bc1b..3df3e8ea05c 100644 --- a/library/core/src/intrinsics.rs +++ b/library/core/src/intrinsics.rs @@ -1787,6 +1787,8 @@ extern "rust-intrinsic" { /// so this rounds half-way cases to the number with an even least significant digit. /// /// May raise an inexact floating-point exception if the argument is not an integer. + /// However, Rust assumes floating-point exceptions cannot be observed, so this is not something that + /// can actually be used from Rust code. /// /// The stabilized version of this intrinsic is /// [`f32::round_ties_even`](../../std/primitive.f32.html#method.round_ties_even) @@ -1796,6 +1798,8 @@ extern "rust-intrinsic" { /// so this rounds half-way cases to the number with an even least significant digit. /// /// May raise an inexact floating-point exception if the argument is not an integer. + /// However, Rust assumes floating-point exceptions cannot be observed, so this is not something that + /// can actually be used from Rust code. /// /// The stabilized version of this intrinsic is /// [`f64::round_ties_even`](../../std/primitive.f64.html#method.round_ties_even) |
