TermiNexus de86a1ed70 fix(gen/for): 负数字面量 stop 的 range 循环退回有符号谓词，修复 _find_provider 死循环 ...

stop 边界为负数字面量(如 range(top - 1, -1, -1))时，3.6 的边界推导把无符号 start(UINT64 字段)判为无符号循环，负步长分支随即由 sgt 覆盖为 ugt；而比较在 stop 类型(i32)上进行，-1 在无符号域是 UINT32_MAX，条件恒假 => 循环体成为死代码。_withcontent._find_provider 因此恒返回 NULL，with 上下文的 __mbuddy__ 注入永不生效(FakeDuckTest Test 9 FAIL，随后 _str.upper 解引用 NULL vtable 触发 ASan READ)

新增 3.7: stop 为负数字面量时撤销无符号谓词(判定与既有 step_neg_const 同口径)，退回 slt/sgt；正步长非负 stop 的既有 ult 优化与 range(stop) 单参形态不受影响

2026-09-15 22:45:28 +08:00

..

lib

fix(gen/for): 负数字面量 stop 的 range 循环退回有符号谓词，修复 _find_provider 死循环

2026-09-15 22:45:28 +08:00

main.vp

fix(gen): 修 REnum match case 静默丢弃与 CDefine 负 64 位常量截断，补 void 注解放行、移植类型定义前移

2026-09-15 19:11:54 +08:00