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

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