TermiNexus
f5b3e46543
HandlesWhile 翻译 while 后无条件置 _ctrl_merge_reachable=1，导致末句为 `while 1:`（条件常量真且循环体仅 return 无 break）的函数在收尾检查被 误判"流程掉出末尾未显式 return"（vrandom.gammavariate TypeError）。 新增 _IsConstTrue/_StmtHasBreak（跳过嵌套循环子树）：常量真且无本层 break 时 merge 结构性不可达 → 置 0，函数收尾对末句 While 生成 unreachable。