Skip to content

Commit 1ceab18

Browse files
committed
cfg compile
1 parent f7aa8a6 commit 1ceab18

File tree

2 files changed

+5
-0
lines changed

2 files changed

+5
-0
lines changed

src/alloc_addresses/mod.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -481,6 +481,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
481481
/// provenances should be exposed. Note that if `prepare_exposed_for_native_call` was not
482482
/// called before the FFI (with `paranoid` set to false) then some of the writes may be
483483
/// lost!
484+
#[cfg(all(unix, any(target_arch = "x86", target_arch = "x86_64")))]
484485
fn apply_events(&mut self, _events: crate::shims::trace::MemEvents) -> InterpResult<'tcx> {
485486
let this = self.eval_context_mut();
486487
let _exposed: Vec<AllocId> =

src/shims/native_lib.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -181,7 +181,10 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
181181
}
182182

183183
// Prepare all exposed memory, depending on whether we have a supervisor process.
184+
#[cfg(all(unix, any(target_arch = "x86", target_arch = "x86_64")))]
184185
this.prepare_exposed_for_native_call(super::trace::Supervisor::init().is_err())?;
186+
#[cfg(not(all(unix, any(target_arch = "x86", target_arch = "x86_64"))))]
187+
this.prepare_exposed_for_native_call(true)?;
185188

186189
// Convert them to `libffi::high::Arg` type.
187190
let libffi_args = libffi_args
@@ -191,6 +194,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
191194

192195
// Call the function and store output, depending on return type in the function signature.
193196
let ret = this.call_native_with_args(link_name, dest, code_ptr, libffi_args)?;
197+
#[cfg(all(unix, any(target_arch = "x86", target_arch = "x86_64")))]
194198
if let Some(events) = super::trace::Supervisor::get_events() {
195199
this.apply_events(events)?;
196200
}

0 commit comments

Comments
 (0)