We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c922850 commit ab6db98Copy full SHA for ab6db98
src/machine.rs
@@ -743,6 +743,7 @@ impl<'tcx> MiriMachine<'tcx> {
743
// undefined behaviour in Miri itself!
744
(
745
unsafe {
746
+ #[cfg(all(unix, any(target_arch = "x86", target_arch = "x86_64")))]
747
discrete_alloc::MachineAlloc::enable();
748
libloading::Library::new(lib_file_path)
749
.expect("failed to read specified extern shared object file")
0 commit comments