miri icon indicating copy to clipboard operation
miri copied to clipboard

convert intrinsic shims to intrinsics with fallback bodies

Open oli-obk opened this issue 1 year ago • 2 comments

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

oli-obk avatar Feb 16 '24 18:02 oli-obk

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.

RalfJung avatar Feb 16 '24 19:02 RalfJung

blocked on https://github.com/rust-lang/miri/issues/3397

oli-obk avatar Apr 23 '24 09:04 oli-obk