Fix for latest upstream update

This commit is contained in:
Tim Diekmann 2019-04-18 12:39:18 +02:00
parent af3c4c0c23
commit afb64232db
No known key found for this signature in database
GPG Key ID: 58CD76F88DF563E0

View File

@ -162,7 +162,7 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a + 'mir>: crate::MiriEvalContextExt<'
align,
MiriMemoryKind::C.into(),
)?;
this.write_scalar(Scalar::Ptr(new_ptr.with_default_tag()), dest)?;
this.write_scalar(Scalar::Ptr(new_ptr), dest)?;
}
"__rust_alloc" => {