Skip to content

Commit 37cc399

Browse files
committed
Address code review
1 parent 7d28b5c commit 37cc399

File tree

2 files changed

+4
-4
lines changed

2 files changed

+4
-4
lines changed

Diff for: src/tools/miri/src/shims/time.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -110,13 +110,13 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
110110
#[allow(non_snake_case, clippy::arithmetic_side_effects)]
111111
fn GetSystemTimeAsFileTime(
112112
&mut self,
113+
shim_name: &str,
113114
LPFILETIME_op: &OpTy<'tcx, Provenance>,
114-
link_name: &str,
115115
) -> InterpResult<'tcx> {
116116
let this = self.eval_context_mut();
117117

118-
this.assert_target_os("windows", link_name);
119-
this.check_no_isolation(link_name)?;
118+
this.assert_target_os("windows", shim_name);
119+
this.check_no_isolation(shim_name)?;
120120

121121
let filetime = this.deref_pointer_as(LPFILETIME_op, this.windows_ty_layout("FILETIME"))?;
122122

Diff for: src/tools/miri/src/shims/windows/foreign_items.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -250,7 +250,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
250250
#[allow(non_snake_case)]
251251
let [LPFILETIME] =
252252
this.check_shim(abi, Abi::System { unwind: false }, link_name, args)?;
253-
this.GetSystemTimeAsFileTime(LPFILETIME, link_name.as_str())?;
253+
this.GetSystemTimeAsFileTime(link_name.as_str(), LPFILETIME)?;
254254
}
255255
"QueryPerformanceCounter" => {
256256
#[allow(non_snake_case)]

0 commit comments

Comments
 (0)