Let miri and const eval execute intrinsics' fallback bodies#124293

Merged

bors merged 3 commits intorust-lang:masterfrom oli-obk:miri_intrinsic_fallback_body

May 4, 2024

+121-48

Commits on May 3, 2024

Let miri and const eval execute intrinsics' fallback bodies
oli-obk
committed
Ensure miri only uses fallback bodies that have manually been vetted to preserve all UB that the native intrinsic would have
oli-obk
committed

Commits on May 4, 2024

mark const_(de)allocate intrinsics as suitable for Miri
RalfJung
committed