From 29d96b94e66509704b9942ae57852fd27be5eddc Mon Sep 17 00:00:00 2001 From: nyash-codex Date: Sun, 14 Dec 2025 19:02:18 +0900 Subject: [PATCH] =?UTF-8?q?fix(test):=20Phase=20131-11-E=20=E3=83=86?= =?UTF-8?q?=E3=82=B9=E3=83=88=E4=BF=AE=E6=AD=A3=20-=20is=5Finfinite=5Floop?= =?UTF-8?q?=20=E5=88=9D=E6=9C=9F=E5=8C=96=E8=BF=BD=E5=8A=A0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ## 問題 - src/mir/loop_pattern_detection/tests.rs でビルドエラー - `LoopFeatures` に `is_infinite_loop` フィールドが欠けていた ## 修正 - classify_body() で `is_infinite_loop: false` を追加 - テストでは通常ループ(finite loop)を想定 ## 検証 - ✅ ビルド成功 - ✅ Case C MIR: `%3: Integer = phi [%2, bb0], [%8, bb7]` - ✅ Case C VM: `Result: 3` 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Sonnet 4.5 --- src/mir/loop_pattern_detection/tests.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/mir/loop_pattern_detection/tests.rs b/src/mir/loop_pattern_detection/tests.rs index bbdca0ee..541d2578 100644 --- a/src/mir/loop_pattern_detection/tests.rs +++ b/src/mir/loop_pattern_detection/tests.rs @@ -116,6 +116,7 @@ fn classify_body(body: &[ASTNode]) -> LoopPatternKind { carrier_count: carrier_count(body), break_count: if has_break_flag { 1 } else { 0 }, continue_count: if has_continue_flag { 1 } else { 0 }, + is_infinite_loop: false, // テストでは通常ループを想定 update_summary: None, }; classify(&features)