diff options
| author | ltdk <usr@ltdk.xyz> | 2025-09-17 14:07:23 -0400 |
|---|---|---|
| committer | ltdk <usr@ltdk.xyz> | 2025-09-21 20:37:51 -0400 |
| commit | 055e05a338af00751ffccc992feeda227b8436b1 (patch) | |
| tree | 7e15bddead7196bac2428f4d403826c8681bf29c /tests/ui | |
| parent | 987f9603f9907bdcea9911517f216554f3c5cd4d (diff) | |
| download | rust-055e05a338af00751ffccc992feeda227b8436b1.tar.gz rust-055e05a338af00751ffccc992feeda227b8436b1.zip | |
Mark float intrinsics with no preconditions as safe
Diffstat (limited to 'tests/ui')
| -rw-r--r-- | tests/ui/intrinsics/intrinsic-fmuladd.rs | 4 | ||||
| -rw-r--r-- | tests/ui/intrinsics/reify-intrinsic.stderr | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/tests/ui/intrinsics/intrinsic-fmuladd.rs b/tests/ui/intrinsics/intrinsic-fmuladd.rs index d03297884f7..ab4285590cb 100644 --- a/tests/ui/intrinsics/intrinsic-fmuladd.rs +++ b/tests/ui/intrinsics/intrinsic-fmuladd.rs @@ -11,7 +11,7 @@ macro_rules! assert_approx_eq { } fn main() { - unsafe { + { let nan: f32 = f32::NAN; let inf: f32 = f32::INFINITY; let neg_inf: f32 = f32::NEG_INFINITY; @@ -25,7 +25,7 @@ fn main() { assert_eq!(fmuladdf32(8.9, inf, 3.2), inf); assert_eq!(fmuladdf32(-3.2, 2.4, neg_inf), neg_inf); } - unsafe { + { let nan: f64 = f64::NAN; let inf: f64 = f64::INFINITY; let neg_inf: f64 = f64::NEG_INFINITY; diff --git a/tests/ui/intrinsics/reify-intrinsic.stderr b/tests/ui/intrinsics/reify-intrinsic.stderr index aea6f838e0d..1307a85c8b6 100644 --- a/tests/ui/intrinsics/reify-intrinsic.stderr +++ b/tests/ui/intrinsics/reify-intrinsic.stderr @@ -22,7 +22,7 @@ LL | std::intrinsics::floorf32, | ^^^^^^^^^^^^^^^^^^^^^^^^^ cannot coerce intrinsics to function pointers | = note: expected fn pointer `unsafe fn(_) -> _` - found fn item `unsafe fn(_) -> _ {floorf32}` + found fn item `fn(_) -> _ {floorf32}` error: aborting due to 3 previous errors |