From 4d5966d6c9e0d66a4b5724b8b948601e8231905c Mon Sep 17 00:00:00 2001
From: pjh456 <147148383@qq.com>
Date: Thu, 17 Sep 2026 16:57:32 +0000
Subject: [PATCH] =?UTF-8?q?docs:=20=E6=94=B9=E5=86=99=E6=8E=A7=E5=88=B6?=
 =?UTF-8?q?=E6=B5=81=E6=94=B6=E5=B0=BE=E6=96=AD=E8=A8=80=E6=B6=88=E6=81=AF?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 crates/oxide_cfg/src/finalize.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/oxide_cfg/src/finalize.rs b/crates/oxide_cfg/src/finalize.rs
index e937d7d4..7e826e2f 100644
--- a/crates/oxide_cfg/src/finalize.rs
+++ b/crates/oxide_cfg/src/finalize.rs
@@ -19,7 +19,7 @@ pub(super) fn finalize(mut blocks: Vec<BasicBlock>, exit_id: usize) -> Cfg {
             preds_total += 1;
         }
     }
-    debug_assert_eq!(succs_total, preds_total, "succs/preds 不对称（Pitfall 4）");
+    debug_assert_eq!(succs_total, preds_total, "succs/preds 不对称：succ 边总数须等于 pred 边总数");
 
     Cfg {
         blocks,