6865f4acfa
- ✅ 最小再現ケース作成 - apps/tests/minimal_ssa_skip_ws.hako: 確実に再現する10-30行ケース - apps/tests/minimal_ssa_bug*.hako: 段階的簡略化版 - apps/tests/loopform_*.hako: LoopForm v2 各ケーステスト - ✅ Rustテストスイート追加 - src/tests/mir_loopform_conditional_reassign.rs: 4ケース（Case A/B/C/D） - src/tests/mir_loopform_complex.rs: 複雑なパターン - 全テストPASS確認済み - ✅ SSAバグ分析ドキュメント - docs/development/analysis/minimal_ssa_bug_analysis.md - エラー詳細・原因・ワークアラウンド記録 🎯 成果: SSAバグの構造を完全特定、デバッグ準備完了
25 lines
674 B
Plaintext
25 lines
674 B
Plaintext
// minimal_ssa_skip_ws.hako — LoopForm exit-PHI regression canary
|
|
// 目的: loop(1 == 1) + break だけで exit PHI が壊れる既知事例を最小化
|
|
|
|
static box Main {
|
|
skip(s) {
|
|
local i = 0
|
|
local n = s.length()
|
|
// 本来は loop(i < n) だが、ワークアラウンドとして loop(1 == 1) にしていた経路で
|
|
// exit PHI が崩れて ValueId 未定義になる不具合を再現する。
|
|
loop(1 == 1) {
|
|
if i >= n { break }
|
|
local ch = s.substring(i, i + 1)
|
|
if ch == " " { i = i + 1 } else { break }
|
|
}
|
|
return i
|
|
}
|
|
|
|
main(args) {
|
|
local s = " abc"
|
|
local r = Main.skip(s)
|
|
print(r)
|
|
return 0
|
|
}
|
|
}
|