From 820efe28adcefac2f43ca8b2d3835fba19299138 Mon Sep 17 00:00:00 2001
From: bendn <bend.n@outlook.com>
Date: Sat, 11 May 2024 17:00:12 +0700
Subject: [PATCH] explain

---
 src/intrinsics/mod.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/intrinsics/mod.rs b/src/intrinsics/mod.rs
index 73c5e2a74f..e38a9e4d5e 100644
--- a/src/intrinsics/mod.rs
+++ b/src/intrinsics/mod.rs
@@ -275,6 +275,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
                     _ => bug!(),
                 };
                 let res = this.wrapping_binary_op(op, &a, &b)?;
+                // `wrapping_binary_op` already called `generate_nan` if necessary.
                 this.write_immediate(*res, dest)?;
             }