diff options
| author | Ralf Jung <post@ralfj.de> | 2023-12-28 12:56:07 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-12-28 12:56:07 +0100 |
| commit | 771e47929f55febce4125c34f2641089f01ece52 (patch) | |
| tree | 62513686bb9fe6ead8ee3144f7b7276c571a97ad /src/tools | |
| parent | ee42d1eb9f5983f8f281e87989617caba45007b6 (diff) | |
| download | rust-771e47929f55febce4125c34f2641089f01ece52.tar.gz rust-771e47929f55febce4125c34f2641089f01ece52.zip | |
don't test unspecified case
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/tests/pass/float_nan.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/tools/miri/tests/pass/float_nan.rs b/src/tools/miri/tests/pass/float_nan.rs index fff103a776f..207ce70fb20 100644 --- a/src/tools/miri/tests/pass/float_nan.rs +++ b/src/tools/miri/tests/pass/float_nan.rs @@ -292,17 +292,6 @@ fn test_f32() { || F32::from(1.0f32.powf(nan)), // special `pow` rule ); check_all_outcomes( - HashSet::from_iter([ - F32::nan(Pos, Quiet, 0), - F32::nan(Neg, Quiet, 0), - F32::nan(Pos, Quiet, 1), - F32::nan(Neg, Quiet, 1), - F32::nan(Pos, Signaling, 1), - F32::nan(Neg, Signaling, 1), - ]), - || F32::from(1.0f32.powf(F32::nan(Pos, Signaling, 1).as_f32())), // unspecified `pow` case - ); - check_all_outcomes( HashSet::from_iter([F32::nan(Pos, Quiet, 0), F32::nan(Neg, Quiet, 0)]), || F32::from(nan.powi(1)), ); @@ -415,17 +404,6 @@ fn test_f64() { || F64::from(1.0f64.powf(nan)), // special `pow` rule ); check_all_outcomes( - HashSet::from_iter([ - F64::nan(Pos, Quiet, 0), - F64::nan(Neg, Quiet, 0), - F64::nan(Pos, Quiet, 1), - F64::nan(Neg, Quiet, 1), - F64::nan(Pos, Signaling, 1), - F64::nan(Neg, Signaling, 1), - ]), - || F64::from(1.0f64.powf(F64::nan(Pos, Signaling, 1).as_f64())), // unspecified `pow` case - ); - check_all_outcomes( HashSet::from_iter([F64::nan(Pos, Quiet, 0), F64::nan(Neg, Quiet, 0)]), || F64::from(nan.powi(1)), ); |