fmt

The Miri Cronjob Bot · The Miri Cronjob Bot · commit 4c85e10bab4a · 2024-11-28T05:06:38.000Z
diff --git a/src/shims/windows/foreign_items.rs b/src/shims/windows/foreign_items.rs
@@ -383,7 +383,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                 this.write_int(1, dest)?;
             }
             "TlsFree" => {
-                let [key] = this.check_shim(abi, ExternAbi::System { unwind: false }, link_name, args)?;
+                let [key] =
+                    this.check_shim(abi, ExternAbi::System { unwind: false }, link_name, args)?;
                 let key = u128::from(this.read_scalar(key)?.to_u32()?);
                 this.machine.tls.delete_tls_key(key)?;
 

Original file line number	Diff line number	Diff line change
`@@ -383,7 +383,8 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`383`	`383`	`this.write_int(1, dest)?;`
`384`	`384`	`}`
`385`	`385`	`"TlsFree" => {`
`386`		`- let [key] = this.check_shim(abi, ExternAbi::System { unwind: false }, link_name, args)?;`
	`386`	`+ let [key] =`
	`387`	`+ this.check_shim(abi, ExternAbi::System { unwind: false }, link_name, args)?;`
`387`	`388`	`let key = u128::from(this.read_scalar(key)?.to_u32()?);`
`388`	`389`	`this.machine.tls.delete_tls_key(key)?;`
`389`	`390`