This commit is contained in:
Nia Espera 2025-06-20 22:14:25 +02:00
parent d20f3a83c2
commit 6a0976a521
No known key found for this signature in database
GPG key ID: E7A3AAA3B692EAD7

View file

@ -232,12 +232,9 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
let (ret, maybe_memevents) =
this.call_native_with_args(link_name, dest, code_ptr, libffi_args)?;
#[cfg(target_os = "linux")]
if let Some(events) = maybe_memevents {
if cfg!(target_os = "linux") && let Some(events) = maybe_memevents {
trace!("Registered FFI events:\n{events:#0x?}");
}
#[cfg(not(target_os = "linux"))]
let _ = maybe_memevents; // Suppress the unused warning.
this.write_immediate(*ret, dest)?;
interp_ok(true)