miri
miri copied to clipboard
convert intrinsic shims to intrinsics with fallback bodies
Now that rustc supports https://github.com/rust-lang/rust/issues/93145 we can add support for it to miri and start removing some shims, writing them in pure rust in libcore instead
Note that this is only okay if the fallback body has exactly as much UB as the specification of the intrinsic permits.
We need to make sure that we don't accidentally run a fallback body that fails to detect some UB.
blocked on https://github.com/rust-lang/miri/issues/3397