diff --git a/src/shims/unix/foreign_items.rs b/src/shims/unix/foreign_items.rs index 84e4390cf8..4c43dbd9ab 100644 --- a/src/shims/unix/foreign_items.rs +++ b/src/shims/unix/foreign_items.rs @@ -207,7 +207,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { "fcntl" => { // `fcntl` is variadic. The argument count is checked based on the first argument // in `this.fcntl()`, so we do not use `check_shim` here. - let (fixed, var) = this.check_shim_variadic::<2>(abi, Conv::C, link_name, "fcntl", args)?; + let (fixed, var) = + this.check_shim_variadic::<2>(abi, Conv::C, link_name, "fcntl", args)?; let result = this.fcntl(args, fixed, var)?; this.write_scalar(result, dest)?; } @@ -236,7 +237,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> { "open" | "open64" => { // `open` is variadic, the third argument is only present when the second argument // has O_CREAT (or on linux O_TMPFILE, but miri doesn't support that) set - let (fixed, var) = this.check_shim_variadic::<2>(abi, Conv::C, link_name, "open/open64", args)?; + let (fixed, var) = + this.check_shim_variadic::<2>(abi, Conv::C, link_name, "open/open64", args)?; let result = this.open(args, fixed, var)?; this.write_scalar(result, dest)?; }