miri::intrinsics

Function apply_random_float_error_to_imm

Source 
fn apply_random_float_error_to_imm<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    val: ImmTy<'tcx>,
    ulp_exponent: u32,
) -> InterpResult<'tcx, ImmTy<'tcx>>
Expand description

Applies a random 16ULP floating point error to val and returns the new value. Will fail if val is not a floating point number.