- ✅ 最小再現ケース作成 - 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バグの構造を完全特定、デバッグ準備完了
24 lines
501 B
Plaintext
24 lines
501 B
Plaintext
static box Main {
|
|
main(args) {
|
|
local x = args
|
|
if x == null {
|
|
x = new ArrayBox()
|
|
x.push("default")
|
|
if x.length() > 0 {
|
|
local status = "initialized"
|
|
if x.get(0) != null {
|
|
status = "has_value: " + x.length()
|
|
}
|
|
print("Status: " + status)
|
|
}
|
|
} else if x.length() >= 0 {
|
|
print("Length: " + ("" + x.length()))
|
|
}
|
|
if x == null {
|
|
return 1
|
|
}
|
|
print("Final length: " + ("" + x.length()))
|
|
return 0
|
|
}
|
|
}
|