Use non-deterministic precision for float operations that do not have guaranteed precision #3555
Labels
A-shims
Area: This affects the external function shims
C-enhancement
Category: a PR with an enhancement or an issue tracking an accepted enhancement
E-good-first-issue
A good way to start contributing, mentoring is available
As per rust-lang/rust#124609, these operations behave non-deterministically, so we should implement that in Miri. The
apply_random_float_error
function (currently only used for x86 intrinsics) could be used to do that.The text was updated successfully, but these errors were encountered: