src/tools/miri/tests/fail/fast_math_both.rs

   1 #![feature(core_intrinsics)]
   2
   3 fn main() {
   4     unsafe {
   5         let _x: f32 = core::intrinsics::fsub_fast(f32::NAN, f32::NAN); //~ ERROR: `fsub_fast` intrinsic called with non-finite value as both parameters
   6     }
   7 }