diff --git a/rust-version b/rust-version index 5a3074f09a4..8a247d5ab69 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -9a251644fa2adde5f46eea8d342b7e60e4716039 +8fbd92d0b95d847c68948d8dbbfaccb470db4f92 diff --git a/src/machine.rs b/src/machine.rs index 0a8a229c8aa..8b077fa815b 100644 --- a/src/machine.rs +++ b/src/machine.rs @@ -380,7 +380,7 @@ 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"] { + 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())?;