From ef154df60778055f7d4cd570537c9f73ceb75b8f Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 30 Jan 2020 13:38:49 +0100 Subject: [PATCH] pass MPlaceTy by-value, as we usually do --- src/helpers.rs | 2 +- src/shims/fs.rs | 4 ++-- src/shims/time.rs | 4 ++-- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/helpers.rs b/src/helpers.rs index fba933d278d2..a765d58bbcf3 100644 --- a/src/helpers.rs +++ b/src/helpers.rs @@ -339,7 +339,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx // different values into a struct. fn write_packed_immediates( &mut self, - place: &MPlaceTy<'tcx, Tag>, + place: MPlaceTy<'tcx, Tag>, imms: &[ImmTy<'tcx, Tag>], ) -> InterpResult<'tcx> { let this = self.eval_context_mut(); diff --git a/src/shims/fs.rs b/src/shims/fs.rs index b5c0dead1f8f..2871dcbdcb8f 100644 --- a/src/shims/fs.rs +++ b/src/shims/fs.rs @@ -533,7 +533,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx immty_from_uint_checked(0u128, __u64_layout)?, // stx_dev_minor ]; - this.write_packed_immediates(&statxbuf_place, &imms)?; + this.write_packed_immediates(statxbuf_place, &imms)?; Ok(0) } @@ -692,7 +692,7 @@ fn stat_macos_write_buf<'tcx, 'mir>( ]; let buf = ecx.deref_operand(buf_op)?; - ecx.write_packed_immediates(&buf, &imms)?; + ecx.write_packed_immediates(buf, &imms)?; Ok(0) } diff --git a/src/shims/time.rs b/src/shims/time.rs index a7d51eaa2e0f..6adea524d2d8 100644 --- a/src/shims/time.rs +++ b/src/shims/time.rs @@ -45,7 +45,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx immty_from_int_checked(tv_nsec, this.libc_ty_layout("c_long")?)?, ]; - this.write_packed_immediates(&tp, &imms)?; + this.write_packed_immediates(tp, &imms)?; Ok(0) } @@ -77,7 +77,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx immty_from_int_checked(tv_usec, this.libc_ty_layout("suseconds_t")?)?, ]; - this.write_packed_immediates(&tv, &imms)?; + this.write_packed_immediates(tv, &imms)?; Ok(0) }