GVSDS/ViperC
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity
874 Commits 1 Branch 2 Tags
main
Commit Graph
856 Commits
Author SHA1 Message Date
TermiNexus ab30b264fc feat(gen): P3 覆盖注解形态的属性/下标目标 
- translate_annassign 原先对非 Name 目标直接 return 0，obj.f: T = v / rr[i]: T = v 整条语句被静默丢弃（既不报错也不写出）

- 新增 _translate_lvalue_annassign：解析注解（先特化泛型）→ get_attribute_ptr / get_subscript_ptr 求左值指针 → 走同一处 P3 长命左值检查 → RHS 以注解为靶型求值 → coerce_to_type 后写出；const / volatile / f-string 逃逸与普通 Assign 同口径

- 所有失败路径 fail-fast，不再有静默丢语句
 2026-10-09 14:55:10 +08:00
TermiNexus d926987d44 chore(dbg): 清除 P4 转移分支的逐点探针 
崩点根因已定位（slife 登记表跨文件悬垂），debugger 探针全部移除。
 2026-10-09 13:04:40 +08:00
TermiNexus eb0c3dfd31 fix(gen): slife 登记表改为跨文件存活，并修正区间弹回 
- _g_slife_owned 原先从 trans.Pool（每文件池）分配，Phase2 每文件 reset_to(mark2) 后表体即悬垂，第二个文件起每次登记都写坏活跃池数据（现场 access-violation on 0x0，崩点随分配漂移、ASan 无法给栈）

- _SlifeRestore 只还了 count、未还 top，top 随函数数量单调增长；上一文件/函数的陈旧条目留在扫描区间内，因每文件池地址复用被误判为新变量，_SlifeShadow 返回悬垂影子槽，_SlifeNoteStore 直接写坏内存

- 新增 _g_slife_save/_g_slife_depth：进入时保存 count/top 两个边界，退出时一起弹回

- _SlifeDropOwnedUnlessSame 补 Pointee==0 守卫（与 _SlifeEmitGuardedFree 同口径）
 2026-10-09 13:04:26 +08:00
TermiNexus 1a3ef521b3 chore(dbg): P4 转移分支逐点探针（owned/begin/ensured/drop.begin/dropped） 
崩点已后移到 CaseOwnershipTransfer 的 q = p（P4 别名转移），逐点定位该分支内具体崩溃位置。TEMP。
 2026-10-09 12:43:59 +08:00
TermiNexus aeb396831a chore(dbg): 清除 CallGenMixin 残留的 call.enter 探针 2026-10-09 12:43:28 +08:00
TermiNexus 6758ecbf69 chore(dbg): 清除最后一处 TEMP 探针（AssignGenMixin slife.note） 2026-10-09 12:03:43 +08:00
TermiNexus 5f92abb7bc fix(gen): 补回 CallGenMixin 的 _FreedMark（修行尾时被 checkout 回滚） 
TPC 报 MemberLookupFailFast: 属性 Freed 在 VarEntry 中找不到 —— 该文件的行尾修复用 git checkout 恢复过，把未提交的 _FreedMark 改动一并回滚了，残留 ent_wf.Freed = 1。
 2026-10-09 12:03:23 +08:00
TermiNexus dd24dc670f fix(gen): P2 失效状态改存独立槽表，不再给 VarEntry 加字段 
现象：任何工程编译都在函数形参注册刚结束处 access-violation（pc=0，逐字节可复现）。定位：逐层探针把崩点压到 FuncGenDef 的 pre_scan 段，而该段对 Check（body 仅 if+return）应为空操作，唯一变量是 VarEntry 这个热结构被加了 Freed 字段。修法：撤销 VarEntry.Freed，改用 VarGenMixin 的独立失效槽表 _g_freed_slots（键 = 变量槽 alloca，整次翻译内唯一，故全局累积、无需按函数 reset/restore）；_FreedMark/_FreedCheck/_FreedClearSlot 三个 API 替换字段读写，P2 语义不变。同时清除全部 TEMP 探针。
 2026-10-09 11:51:11 +08:00
TermiNexus 95b076581a chore(dbg): pre-scan 与 _SlifeReset 之间补 p1d 探针（TEMP） 
p1c 之后仍崩，最后一段只剩 pre-scan 与 _SlifeReset；p1d 把两者分开。
 2026-10-09 11:30:33 +08:00
TermiNexus 054dcf0a0b chore(dbg): 形参注册与 pre-scan 之间补 p1c 探针（TEMP） 
add_var 三次全过（esz=56），崩点在其后。p1c 夹出 L700-763（状态保存）与 L765-775（pre-scan）两段。
 2026-10-09 11:24:29 +08:00
TermiNexus 07ff906338 chore(dbg): add_var 逐行探针 a1..a8（TEMP） 
崩点落在形参注册段，而这段里唯一的结构性改动是 VarEntry 加了字段。逐行埋点定位到具体哪一步（esz/cnt 也会打出来，可用于核对 sizeof 是否异常）。
 2026-10-09 11:12:31 +08:00
TermiNexus a2e1c651fc fix(gen): 变量表 Freed 不再逐个字段写，统一依赖 init_vars 的整块清零 
崩点已定位在普通函数形参注册段（auto_addr 之后、_SlifeReset 之前）。add_var 里对刚加过字段的 VarEntry 末端逐个写 entry.Freed 疑似越界/踩偏移；init_vars 本就 memset 整块，去掉冗余写入。
 2026-10-09 11:01:08 +08:00
TermiNexus 9b97470c09 chore(dbg): 函数翻译内段探针 p1/p2/p3 
夹住 auto_addr → 形参注册/pre-scan → slife reset → 语句翻译 四段；TEMP，定位后移除。
 2026-10-09 10:44:56 +08:00
TermiNexus 20e3f3694f chore(dbg): 补语句级与调用级探针（stmt.kind / call.enter fn） 
崩点已收窄到 Check 函数体内的翻译，这两个探针把范围压到具体语句与具体被调者。均为 TEMP，定位后移除。
 2026-10-09 10:39:24 +08:00
TermiNexus 400cc6e17b chore(dbg): 再加两个探针（函数名 / slife 赋值 rhs kind） 
TR.fn: <name> 定位到具体函数；slife.note rhs_kind=<k> 定位到 _slife_note_assign 的哪条 RHS 路径。均为 TEMP，定位后移除。
 2026-10-09 10:19:29 +08:00
TermiNexus be2521fe46 chore(dbg): 临时阶段日志定位 Phase A 崩溃点（定位后移除） 
四个探针：PhaseA translating <path> / vpi.gen <rel_path> / TR.enter sha1 / TR.prelude.done。用于把崩溃点夹在 解析→vpi生成→模块前言→函数体翻译 四段之间。
 2026-10-09 10:08:43 +08:00
TermiNexus 8b63ae4ca2 fix(gen): 模块前言的声明池逐级判空，避免 PermPool 未就绪时空指针崩溃 
现象：TransPyV.exe 编译任何工程都 AddressSanitizer access-violation on address 0x0（pc=0）。根因：_emit_module_prelude 跑在每个模块翻译的开头，此时 CompilerFactory.factory 或其 PermPool 可能尚未就绪，直接 factory.PermPool.alloc(...) 解引用空指针（PermPool 是 factory 的首字段，偏移 0，与 ASan 报的地址 0x0 吻合）。改为 factory / PermPool 逐级判空，不可用时回退模块池。
 2026-10-09 09:45:36 +08:00
TermiNexus b71ed43f10 feat(gen): P5 slife 登记表容量提到 256，超限 fail-fast 
分配与上限判定共用 _SLIFE_MAX = 256（原 128 且满时静默停止登记）。_SlifeEnsureOwned 超限改为 fatal_error（LifetimeError）：静默返回 None 会让该对象永不登记、永不释放（纯泄漏），与编译器自动管理的承诺矛盾。
 2026-10-09 08:46:24 +08:00
TermiNexus efb4a54428 fix(gen): P4 自别名重复赋值不得释放共持对象 
q = p; q = p 这类自别名重复赋值在覆盖释放时会把两个槽共持的对象提前释放（q 与 p 同时悬垂）。新增 _SlifeDropOwnedUnlessSame：在 IR 里比较 target 与源槽的当前值，相同则跳过整个覆盖释放（含析构调度），不同才走常规保护式释放。P4 转移改用它。
 2026-10-09 08:45:09 +08:00
TermiNexus 3209a7a633 feat(gen): P4 别名赋值改为所有权转移（影子标志从源槽移到目标槽） 
q = p 时若源槽确实拥有 slife 对象，则把所有权影子标志转移：先按覆盖释放处理目标槽原有对象，再置 q=1 / p=0。于是 q = p; p = None 不再释放对象（q 不悬垂），出口只释放 q 恰好一次。自赋值 p = p 与源不拥有（普通/外来指针）保持原状。
 2026-10-09 08:43:48 +08:00
TermiNexus 301a9d3328 feat(gen): P3 左值比右值长命时禁止写入本帧栈地址 
新增 AssignGenMixin.life_of_lvalue：Name 目标取变量槽本身的生命期（局部 FRAME / 全局 STATIC），Attribute/Subscript 目标递归其基对象的 life_of_expr（h.p 的生命期 = h 指向的存储）。在 propagate_life 的非 Name 目标出口比较：仅当左值明确长命（LIFE_HEAP/LIFE_STATIC）且右值为 LIFE_FRAME 时报 LifetimeError（复用 fail_if_life_escapes）。h.p = &local 被拒；local_struct.f = &local2 与 p = &local 放行（不误报）。已知缺口：AnnAssign 的属性/下标目标不走该出口。
 2026-10-08 22:47:28 +08:00
TermiNexus 2b5ff215c7 fix(gen): 跨模块裸名 CExport/State 函数不再被误清，关键字实参不解析时 fail-fast 
现象：stdlib.free(p = p) 生成 llvm.call @free()（零实参），mlir-opt 报 incorrect number of operands (0) for callee。根因：跨模块检查要求函数名前 16 字符等于模块 sha1，而 CExport/t.State 型函数（stdlib.free 等）本来就以裸名定义与声明，于是 found_func 被清成 None → 关键字实参路径整体跳过 → 位置实参循环一个也不翻译。修两处：1) 该检查对 is_cexport_func / _is_state_func_from_vpi 命中的函数放行；2) 带关键字实参却解析不出签名时 fail-fast，不再静默丢弃实参。
 2026-10-08 22:38:28 +08:00
TermiNexus 8b2008031d fix(gen): 模块前言 C 库声明名改落 PermPool，避免被回绕的模块池覆盖 
现象：@malloc 的声明名被渲染成乱码，mlir-opt 报 llvm.call @malloc does not reference a symbol in the current scope。根因：create_declare 用 _str_dup(pool, name) 把名字拷进传入的池，而前言用的是模块池（大模块上会被复用/回绕），早期分配的声明名被后续分配覆盖；类型是 mlirlite 内部 interned 的，所以只有名字坏、参数类型正常。修法：声明与参数名改落 CompilerFactory.PermPool（never reset）。
 2026-10-08 22:30:07 +08:00
TermiNexus 8fb0e38f4c fix(gen): 泛型类构造只在真有 __init__ 时才调 __before_init__/__init__ 
无方法的泛型类（如 NewTest 的 Box[T]）没有 __init__，ClassGenVTable 也就不会生成 __before_init__，但 _translate_generic_ctor_call 无条件发射这两个调用，导致链接期 undefined symbol（1cf2df6387df0bbf.Box[int].__before_init__ / .__init__）。改为与非泛型 _translate_struct_ctor 同判据：有 __init__ 才走 __before_init__ + __init__，否则按字段顺序逐字段 store。
 2026-10-08 22:16:23 +08:00
TermiNexus c02aa3a2eb fix(gen): @life/@willFree 不再被当作运行时装饰器 
自定义装饰器检测（__decor_wrap_<name> 生成路径）此前把 P2 的编译期标注当成 User 装饰器：会生成 wrapper 调用并不存在的 @life/@willFree，并把被装饰的 extern def（如 stdlib.free）变成本模块 internal 声明，llc 报 invalid linkage for function declaration。把 life/willFree 加入该处标记白名单。
 2026-10-08 21:43:47 +08:00
TermiNexus b60ce06335 feat(gen): willFree 覆盖关键字实参、方法调用与取地址三条路径 
关键字/混合实参：CallGenMixin._MarkWillFreeKwargs 按形参序（位置实参占前 can 个形参，其余按关键字名匹配）标记。方法调用：CallGenCall._translate_method_call 的 kwargs 与位置两条循环，实参链含 self 故用户第 ai 个实参对应 bit (ai+1)；新增 GenApi/StructGenMixin.get_param_willfree_method（查 Class.method 并沿 MRO 回退）。取地址：ExprGenOps 的 AddrOf 分支对已失效变量 fail-fast。
 2026-10-08 21:39:53 +08:00
TermiNexus d921dcd9e7 fix(gen): willFree 形参表访问先转 Arguments*，修复 TPC 侧 MemberLookupFailFast 
FunctionDef.args 的字段静态类型是 AST*，直接写 fn.args.args 会在 AST 类上查 args（class_members=7 不含 args）。改为先 ast.Arguments*(fn.args) 再取 .args 列表，与 VpiReader / FuncGenMixin / ClassGenVTable 等既有写法一致。
 2026-10-08 21:34:14 +08:00
TermiNexus 97313e9e55 feat(gen): P2 生命期标注 @life(willFree(...)) 驱动释放后使用与二次释放检查 
标注面：@life(willFree(<形参名|0起序号>))，兼容叠加式 @willFree(...)，可混用累加；序号按形参表下标、self/cls 计入。GenApi.compute_willfree_mask 解析标注并对非法标注 fail-fast。本文件表 StructGenMixin.WfTable + 跨模块 .vpi 行尾 wf=<mask>（Converter 写 / VpiReader 读 / CallGenBase 查）。调用点在实参全部翻译之后把对应实参变量槽置 VarEntry.Freed；其后的读取路径报 LifetimeError。重新赋值清除失效态。
 2026-10-08 21:28:49 +08:00
TermiNexus 9ff5a3a03e fix(gen): 泛型类构造复用 new 描述符存储，并支持泛型下标 callee 
- _translate_generic_ctor_call 之前一律 _alloca_at_entry：new memgr(pool) hlife list[int](...) 会忽略描述符给的内存、把对象构造到栈上、返回栈地址（静默悬垂）。改为与 _translate_struct_ctor 同款：tmp = _g_new_storage，为空才回落 alloca。

- _translate_new_expr 支持泛型下标 callee（Box[int]）：新增 _specialize_new_generic_class 先特化模板拿具体类名，再走同一条取存储路径。
 2026-10-08 21:04:41 +08:00
TermiNexus b6a9b50f93 fix(gen): 异常与传播出口也释放 slife（P1） 
插桩点选在 StmtGenMixin._eh_ret_default —— 异常路径上真正离开函数的唯一汇聚点（translate_raise 的 bare raise / StopIteration / 传播三条分支 + try 的 UnhandledBB 传播分支都走它），发 ret 前 _SlifeEmitFrees。不得改在 raise 语句本身：被本函数 except 捕获时对象仍在用（那一步只 br 到 DispatchBB）；EH 返回值也不会是 slife 对象（逃逸检查已拒）。
 2026-10-08 21:04:33 +08:00
TermiNexus 70390858d8 feat(gen): 协程体里的 new heap slife fail-fast（释放点无法确定） 
AsyncGenMixin 的状态机会把协程 body 拆成多个 state 块并多次转译，编译器无法确定 slife 的释放点；此前是静默漏释放。新增锚点 trans._coro_body_func（Translator 字段 + init 置 None），只在 body 翻译期间由 translate_async_function 设置并保存/恢复旧值；_translate_new_expr 以**函数对象同一性**（_coro_body_func == _cur_func）判定并 fatal_error(LifetimeError)。嵌套普通函数会换掉 _cur_func 故不误报；new stack 与 hlife 不受影响。
 2026-10-08 20:42:09 +08:00
TermiNexus 2178970ff7 feat(gen): slife 释放前调度析构 __del__，并禁止手动 del（§3.6 落地） 
- 释放统一入口 _SlifeEmitGuardedFree 改为「先析构、再 free」；析构名定案 __del__（对齐 TPC LLVMCG/MemoryOps._emit_local_heap_frees 的释放路径；del obj 那条语句走的仍是 __delete__）。

- 查表沿 MRO / 跨模块 stub 回退（复用 ExprGenOps._resolve_dunder_by_class）；类未定义 __del__ 时**不加任何分支**，常见路径零开销。

- 析构用条件分支而不是 select：未拥有的路径必须完全不进析构体（析构体里会解引用 self，传 null 进去会踩空）；块标签走 trans._label_counter，避免同函数内重名。

- §2.4 判据5 扩展：对 slife 对象手动 del obj → LifetimeError（否则析构跑两次）。hlife 路径不受影响。

- 为把 trans 传进析构查找，_SlifeEmitFrees / _SlifeEmitGuardedFree / _SlifeDropOwned 加 trans 形参，9 处调用点同步。
 2026-10-08 20:34:11 +08:00
TermiNexus 78b2052445 feat(gen): 接线 M3 owned slife 的 RAII 出口释放（函数级 scope guard） 
- 所有权影子标志（i8，登记时入口块置 0）+ free(select(影子!=0, load 槽, null)) 保护式释放：赋值在分支/循环里而未执行 → free(NULL)；槽里写入外来指针或别名 → 清影子，绝不 free 外来指针；循环反复 new → 赋值前覆盖释放上一轮，不累积。

- 三条函数体转译路径（FuncGenDef 主路径 / FuncGenMixin 嵌套函数提升为 __closure_* / ClassGenVTable 方法体）各自抬升与弹回登记区间；修两处漏 reset 导致内层出口 free 外层对象再被外层 free 一次 = double free（Windows STATUS_HEAP_CORRUPTION）。出口按槽去重做兜底。

- free 由模块前言统一声明（Translator.vp，紧挨 malloc）；释放点只查表 + fail-fast，绝不吐指向未声明符号的 llvm.call。

- 赋值处记账：new heap slife → 登记 + 覆盖释放 + 影子置 1；其它 RHS（new stack / hlife / 别名 / 外来指针 / None）→ 已登记则交还所有权。手动 free slife 对象 → LifetimeError。
 2026-10-08 20:03:54 +08:00
TermiNexus 934708b206 fix(type): 数组退让豁免提到级数检查之前，修 [N]str 形参被误判 CastError 
形参侧 CArray 按 C 语义退让成元素指针 str*（级数 2），实参仍是 [N]str 的数组地址（级数 1）→ _ptr_cast_reason 先查级数就判 PC_DEPTH，_pointee_convert_reason 里那条既有数组退让豁免成了死代码。元素为 i8 时级数不变所以一直没暴露，元素本身是指针才炸（现场：includes/tomllib _parse_key_path 的 segs）。
 2026-10-08 20:03:42 +08:00
TermiNexus 1dd53ebff5 feat(gen): M3 owned slife 登记机制（函数级 scope guard 的底座） 
登记本函数内由 new heap/memgr slife 直接绑定的变量 alloca，提供 Reset/Register/Owned/MarkAliased/EmitFrees/ReleaseOld 六个 API，供出口插桩与覆盖释放使用。

为什么是函数级而非块级（已核实）：Stmt 层（if/while/for/with）不调用 enter_scope/exit_scope，局部存储一律入口块 alloca（函数级寿命）——块级释放会让"块之后仍可达的变量"变悬垂。别名（q = p）在覆盖释放时保守跳过（宁可泄漏不悬垂），函数出口释放不受别名影响。

本提交仅机制，尚未接线（无行为变化）；下一步接 4 处钩子：函数入口/收尾、translate_return 的 3 个 build_ret、赋值处的登记与覆盖释放、以及 §4.3 手动 free 判据。
 2026-10-08 18:41:52 +08:00
TermiNexus 09b5bf5ac3 docs(gen): _translate_new_expr 注明缺省规则（stack 默认 slife） 
缺省规则（§3.2 / D3）：来源缺省 = heap；生命期缺省由来源决定——stack → slife（故 new stack T(...) 不写 slife 也等效），heap/memgr → hlife。生命期在 life_of_expr 按同一张表落地（LIFE_FRAME / LIFE_HEAP）。
 2026-10-08 18:21:00 +08:00
TermiNexus 9e55e909a8 feat(gen): LifeTag 接到 new 描述符；vpi 文本缓存收敛为单一入口 
life_of_expr 新增 ASTKind.New 分支（§2.3 矩阵）：stack→LIFE_FRAME；heap/memgr 的 slife 同样按帧生命期（作用域末 RAII 释放，逃逸必悬垂）；hlife→LIFE_HEAP。于是 new stack slife Foo() 的结果被赋给变量/返回时会被既有汇点判据 fail_if_life_escapes 拦住（该判据本来就是生命期驱动，无需再加语法特例）。

VpiReader 新增 _cache_vpi_annots_text 单一入口（ret/param/逃逸摘要一次喂齐），两个 vpi 加载点都改调它：从结构上消除"某个加载点漏喂某类缓存"这类静默退化（本次 EscapeXmodTest 漏检的根因类别）。
 2026-10-08 18:19:15 +08:00
TermiNexus 8a98051759 fix(gen): new 的分配尺寸常量改用 const_int64，修 mlir-opt 校验失败 
ConstInt 的第 4 个参数是常量在 IR 里的文本（不是注释/名字），此前传 "newsize" 会打印成 llvm.mlir.constant(newsize : i64)，mlir-opt 报 expected attribute value。已改用项目通用的 mlirlite.const_int64(pool, size_bytes)。
 2026-10-08 18:18:03 +08:00
TermiNexus c77d38e923 fix(gen): new heap/memgr 的尺寸改用 ClassGenEnum._get_type_size，修结构体报 cannot determine the size 
原先调用 TypeGenResolve.get_type_size_bytes，它只解析 typedef/标量，结构体一律返回 0，于是 new heap Point(3,4) 在语义期 fail-fast。

改用语言级 T.__sizeof__() 的同一实现 ClassGenEnum._get_type_size(struct_ty)，保证 new 分配的尺寸与源码手写 __sizeof__() 完全一致（含对齐/填充）。
 2026-10-08 18:07:28 +08:00
TermiNexus 14920c0e1e fix(vpi): 逃逸摘要在所有 vpi 加载点都喂缓存，修 EscapeXmodTest 跨模块漏检 
_ensure_vpi_ret_annot_loaded 开头有"本模块 ret 注解已缓存则直接 return 1"的短路：若某模块先经 _ParseVpiIntoModuleImpl（stub 注入）加载，而该处只喂了 ret/param 缓存、没喂逃逸缓存，后续跨模块逃逸查询就会永久查空。现场：EscapeXmodTest 漏检——box.vpi 里 `# esc=2 ret=0` 落盘正确，查询侧却命中不到。在该加载点补 _cache_vpi_escape_annots_text。
 2026-10-08 17:58:07 +08:00
TermiNexus 64502471e1 feat(gen): M2.4 new 描述符语义落地（stack/heap/memgr 三来源） 
CallGenCtor 新增 _translate_new_expr：只替换取存储一步——stack 用帧内 alloca、heap 用 malloc(sizeof)+bitcast、memgr(x) 用 x.alloc(sizeof)+bitcast；其余构造序列（__before_init__ → __init__ / 字段赋值）用合成 Call 复用原路径，因此 __init__ 的逃逸检查对 new 同样生效；结果恒为 T*。

文件级 _g_new_storage 承接描述符算出的存储，两个 ctor 入口的默认 alloca 改为有则复用；_translate_new_expr 前后保存/恢复，支持嵌套 new。

§2.4：stack+hlife 语义矛盾 fail-fast；memgr(x) 拿不到管理器类 fail-fast。ExprGenMixin 分派 ASTKind.New。
 2026-10-08 17:45:39 +08:00
TermiNexus cd68bb62ac feat(gen): M2.3 v3 跨模块逃逸摘要 + 全局赋值判据双保险 
【v3 跨模块摘要】Converter._PyiFunction 在每个 def 签名行尾写 `# esc=<mask> ret=<ret>`（仅非零时写）；VpiReader 新增逃逸摘要缓存（键 {sha1}.{Class}.{method} / {sha1}.{func}，值打包 mask|ret<<32），与返回注解缓存同一次加载解析，并加"模块已加载"备忘 + 键前缀过滤避免拖慢编译；StructGenMixin 抽出 compute_escape_summary 供登记与落盘共用；CallGenBase.lookup_escape_via_vpi 按本类 + MRO 祖先模块 sha1 查询，方法/构造器/模块级函数三处调用点在本地表未命中时回退查 vpi。

【修复】Converter._PyiEnsureEscScratch 补 global（漏写导致全局仍 NULL，box 算成 0+520 → ASan WRITE on 0x208）；函数内写"本文件已声明的模块全局"且无 global/nonlocal 时必须 fail-fast——原判据只看 SymTab.Root.Vars，部分时序看不到模块全局而静默建局部影子；新增 FileVarNames（register_file_funcs 预扫收集顶层变量名）+ is_file_var() 兜底，普通赋值与注解式重声明两处都接上。
 2026-10-08 17:28:06 +08:00
TermiNexus 9f98e683a9 feat(gen): M2.3 覆盖面扩展——类方法与嵌套函数的逃逸摘要 
摘要键约定：模块级/嵌套函数用裸名（与调用点 func_name 一致），类方法用 "Class.method"，查询沿 MRO 回退；刻意不回退裸名，避免方法名与同名模块函数（error/init 等）串味产生误报。

register_file_funcs 登记类方法与嵌套函数摘要，v2 传递闭包相应覆盖（_RescanEscapes 拆为 _RescanOne/_RescanNested/_RescanClassMethods）。

调用点新增：_translate_method_call 的方法路径检查（形参下标含 self，用户第 ai 个实参对应 bit ai+1）、_call_method_on_ptr 的 __init__ 构造器检查（self.f = p 的逃逸；__new__ 形参可能与 __init__ 共享并裁剪，不查）。

已知边界：摘要表按文件重置，跨模块查询待 v3；_PropagateCallEscapes 只处理裸名被调者，方法调用链的传递待补。
 2026-10-08 16:55:34 +08:00
TermiNexus b03e55bb7e fix(gen): 类归属不采信星号导入候选，收口 fatal_error 返回类型与默认值补全 
TypeGenResolve._class_true_def_sha1 / CallGenBase._lookup_reexport_from_vpi 新增 allow_star 参数：类归属只采信具名 re-export。此前 `from X import *` 候选被当成类的真实定义模块，而几乎每个文件都 star-import stdint，导致 TypeGenErr 前向声明被建成 "stdint.TypeGenErr"；该名字在 StructTable 里只剩一个错误 sha1 的条目，fatal_error 的跨模块返回类型解析全部落空并 fail-fast。

TypeGenErr.fatal_error/fatal_type_error 显式 -> int（留空会解析出退化类型 i0，命中 CallGenCall 的 i0 守卫）；_fail_method_ret_ty 增加失败上下文转储并并入同一条 VLogger.error（批处理下 error 即 sys.exit，其后代码全是死代码）。

CallGenMixin 模块级调用：默认值已知但重建不出时 fail-fast，不再静默产出操作数不足的 llvm.call（只会被 MLIR 校验拦下）；AssignGenMixin 两处 VLogger.error 补上 category 实参。

M2.3 v1b 收尾：逃逸摘要表与扫描临时区改为只分配一次、传递闭包扫到不动点、u64 改 sizet；VpiReader 不再 free 跨阶段引用的 src_sha1（heap-use-after-free）。
 2026-10-08 16:38:35 +08:00
TermiNexus 1fb0f4a4ea feat(gen): 逃逸摘要传递闭包（M2.3 v2） 
- walker 认值位置上的调用（Return/Assign/AnnAssign/Expr 的 value 为 Call）。 - 传递规则：g(p,...) 中 g 会逃逸的实参位若绑到本函数形参 p，则 p 也逃逸。 - 注册完再重扫 2 遍（单调 OR-in）。已知：超过 2 层的链仍可能漏，真正收敛需改为扫描到不变为止。
 2026-10-08 13:47:54 +08:00
TermiNexus 52fd89decf feat(gen): 调用点逃逸检查（M2.3 v1b 步骤4） 
translate_call 里按被调者摘要核对实参：第 k 位为 1（该形参会逃逸/被返回）的形参位上，实参若交出本帧栈地址（&local / 局部数组退让）即报 LifetimeError。此处拿不到被调者形参类型，故传哑指针类型，仅用于让 life_of_expr 判定裸局部数组名处于指针位置=退让。
 2026-10-08 13:41:00 +08:00
TermiNexus 4ce577d8fb feat(gen): 函数生命期摘要表 + 逃逸 walker（M2.3 v1b 步骤1-3） 
- StructGenMixin：EscTable/EscCount（追加在类末尾，避免偏移漂移）；register_file_funcs 每文件重置并逐函数算摘要。 - 逃逸 walker：return p / global 赋值 / obj.f 赋值，递归 if/while/for；不进嵌套 def/class；形参访问逐级显式重转（AST 退化）。 - 表内只存 u64 名哈希（djb2-64），不解引用字符串指针，消除槽内坏指针导致的 strcmp 崩溃。 - 表从 PermPool 分配并 memset。 - GenApi：get_param_escapes/get_ret_borrow 查询入口。调用点检查（步骤4）待接。
 2026-10-08 13:29:28 +08:00
TermiNexus a6e1957768 feat(gen): 控制流汇合 Meet（M2.2） 
- VarGenMixin：life_capture/life_restore/life_join（作用域链快照，池上 [count,(entry,life)…] 数组）。 - StmtGenCifMixin.translate_if：进分支前快照、then 末快照、else 前复位、出口按 min 合并。 - StmtGenMixin：while/for 统一在语句分派处 capture→run→join（一处覆盖全部迭代形态与解糖，含 0 次迭代路径）。
 2026-10-08 12:35:59 +08:00
TermiNexus ec47401151 feat(gen): 生命期标签（LifeTag）与借用传播（M2.1） 
- GenTypes：新增 define LIFE_VALUE/FRAME/HEAP/STATIC/UNKNOWN 与 VarEntry.Life。 - VarGenMixin：set_var_life/get_var_life/life_meet；add_var 初始化 Life=UNKNOWN。 - AssignGenMixin：life_of_expr（&local、数组退让、变量 Life 读取）、propagate_life（赋值传播）、fail_if_life_escapes（汇点检查，LifetimeError）；在 AnnAssign 与单 Name Assign 处挂传播。 - GenApi.fail_if_stack_addr_escape 改为薄壳并委托 fail_if_life_escapes；原 (a)(b) 语法判据并入 life_of_expr。于是 s: str = l; return s 被拦截。
 2026-10-08 12:22:10 +08:00
TermiNexus 7070bc1608 feat(gen): 栈地址逃逸检查（LifetimeError）、按值返回聚合、标量→聚合 fail-fast 
- GenApi.fail_if_stack_addr_escape：禁止把本帧栈地址写出帧外（显式 &local，以及局部数组名退让到指针目标，如 return arr with '-> char*'）；裸聚合名 + 同型聚合目标是值拷贝，不在其列；err_type 记为 LifetimeError。 - StmtGenCifMixin.translate_return：按值返回聚合时，对被指类型与返回聚合类型同一的指针补 load（与多返回值 struct 的 ret 同形），修复 return 局部数组报 CastError。 - ExprGenBase.coerce_to_type：聚合目标不接受标量（旧行为落成 store i32 0, ptr，只写首元素字节并抬高对齐），改为编译期 fail-fast。
 2026-10-08 12:10:13 +08:00