This commit is contained in:
Ralf Jung 2022-05-09 11:17:48 +02:00
parent f791e2ee50
commit 8dbe1d02cd

View file

@ -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())?;