diff --git a/src/machine.rs b/src/machine.rs index 8b077fa815b1..2d8f5855330f 100644 --- a/src/machine.rs +++ b/src/machine.rs @@ -380,7 +380,8 @@ impl<'mir, 'tcx> Evaluator<'mir, 'tcx> { // Most of them are for weak symbols, which we all set to null (indicating that the // symbol is not supported, and triggering fallback code which ends up calling a // syscall that we do support). - for name in &["__cxa_thread_atexit_impl", "getrandom", "statx", "__clock_gettime64"] { + for name in &["__cxa_thread_atexit_impl", "getrandom", "statx", "__clock_gettime64"] + { let layout = this.machine.layouts.usize; let place = this.allocate(layout, MiriMemoryKind::ExternStatic.into())?; this.write_scalar(Scalar::from_machine_usize(0, this), &place.into())?;