Merge from rustc

The Miri Cronjob Bot · The Miri Cronjob Bot · commit c61854d9bccf · 2024-08-06T05:05:14.000Z
diff --git a/src/intrinsics/mod.rs b/src/intrinsics/mod.rs
@@ -33,7 +33,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
         let this = self.eval_context_mut();
 
         // See if the core engine can handle this intrinsic.
-        if this.emulate_intrinsic(instance, args, dest, ret)? {
+        if this.eval_intrinsic(instance, args, dest, ret)? {
             return Ok(None);
         }
         let intrinsic_name = this.tcx.item_name(instance.def_id());

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`33`	`33`	`let this = self.eval_context_mut();`
`34`	`34`
`35`	`35`	`// See if the core engine can handle this intrinsic.`
`36`		`- if this.emulate_intrinsic(instance, args, dest, ret)? {`
	`36`	`+ if this.eval_intrinsic(instance, args, dest, ret)? {`
`37`	`37`	`return Ok(None);`
`38`	`38`	`}`
`39`	`39`	`let intrinsic_name = this.tcx.item_name(instance.def_id());`