From 5c9ad8bda057dbdec0f0f827a5d29d7aa9da3e87 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 16 Jun 2023 15:56:05 +0200 Subject: [PATCH] comment tweaks --- src/tools/miri/src/shims/foreign_items.rs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/tools/miri/src/shims/foreign_items.rs b/src/tools/miri/src/shims/foreign_items.rs index d52582ce901..f4e91c30d9f 100644 --- a/src/tools/miri/src/shims/foreign_items.rs +++ b/src/tools/miri/src/shims/foreign_items.rs @@ -417,8 +417,10 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> { // // First thing: load all the arguments. Details depend on the shim. // let arg1 = this.read_scalar(arg1)?.to_u32()?; // let arg2 = this.read_pointer(arg2)?; // when you need to work with the pointer directly - // let arg3 = this.deref_operand(arg3)?; // when you want to load/store through the pointer - // let arg4 = this.deref_operand_as(arg4, this.libc_ty_layout("some_libc_struct")?) + // let arg3 = this.deref_operand_as(arg3, this.libc_ty_layout("some_libc_struct"))?; // when you want to load/store + // // through the pointer and supply the type information yourself + // let arg4 = this.deref_operand(arg4)?; // when you want to load/store through the pointer and trust + // // the user-given type (which you shouldn't usually do) // // // ... //