diff --git a/src/fn_call.rs b/src/fn_call.rs index 94e1f11ccf79..8a586c7705b3 100644 --- a/src/fn_call.rs +++ b/src/fn_call.rs @@ -756,8 +756,8 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a + 'mir>: crate::MiriEvalContextExt<' } // The actual name of 'RtlGenRandom' "SystemFunction036" => { - let ptr = this.read_scalar(args[1])?.to_ptr()?; - let len = this.read_scalar(args[2])?.to_usize(this)?; + let ptr = this.read_scalar(args[0])?.to_ptr()?; + let len = this.read_scalar(args[1])?.to_usize(this)?; let data = gen_random(this, len as usize)?; this.memory_mut().get_mut(ptr.alloc_id)?