We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 264590c + 316807c commit 487337bCopy full SHA for 487337b
src/intrinsics/mod.rs
@@ -33,7 +33,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
33
let this = self.eval_context_mut();
34
35
// See if the core engine can handle this intrinsic.
36
- if this.emulate_intrinsic(instance, args, dest, ret)? {
+ if this.eval_intrinsic(instance, args, dest, ret)? {
37
return Ok(None);
38
}
39
let intrinsic_name = this.tcx.item_name(instance.def_id());
0 commit comments