std: update miri reference to std module

joboet · joboet · commit 232a3c426036 · 2023-11-21T18:42:29.000+01:00
diff --git a/src/tools/miri/src/shims/tls.rs b/src/tools/miri/src/shims/tls.rs
@@ -298,7 +298,7 @@ trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
             return Ok(());
         }
         let thread_callback =
-            this.eval_windows("thread_local_key", "p_thread_callback").to_pointer(this)?;
+            this.eval_windows("thread_local_guard", "p_thread_callback").to_pointer(this)?;
         let thread_callback = this.get_ptr_fn(thread_callback)?.as_instance()?;
 
         // FIXME: Technically, the reason should be `DLL_PROCESS_DETACH` when the main thread exits

Original file line number	Diff line number	Diff line change
`@@ -298,7 +298,7 @@ trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {`
`298`	`298`	`return Ok(());`
`299`	`299`	`}`
`300`	`300`	`let thread_callback =`
`301`		`- this.eval_windows("thread_local_key", "p_thread_callback").to_pointer(this)?;`
	`301`	`+ this.eval_windows("thread_local_guard", "p_thread_callback").to_pointer(this)?;`
`302`	`302`	`let thread_callback = this.get_ptr_fn(thread_callback)?.as_instance()?;`
`303`	`303`
`304`	`304`	// FIXME: Technically, the reason should be `DLL_PROCESS_DETACH` when the main thread exits