TransPyC

0 Fork 0

Files

T

TermiNexus a6c9003a19 fix(tpc): struct body 解冻改用 llvmlite 公开属性 elements（原 _elements 是空操作）

类别：a 编译器缺陷（机制漏豁免：错误的"解冻"字段名使所有 body 重建路径失效）。

现场（连续多轮复现）：TransPyV Generator.vp:200
`self.ExprGenFstr = SubExprGenFstr` 报「指针隐式转换已禁止（层数不同）：
%"a7b68c79f39cb4d3.ExprGenFstr"* → i8**」，[成员槽来源] 显示
class_members[Generator] 下标 11 声明槽类型**正确**，而布局
'47382dc8277c9d28.Generator' 的 elements[11]=i8**。

取证（已核对全部产物与共享符号表，排除"来源侧退化"）：
- TransPyV/output/*.stub.ll 与 temp/47382dc8277c9d28.stub.ll 里
  %"47382dc8277c9d28.Generator" 的 slot11 全部是 %"a7b68c79f39cb4d3.ExprGenFstr"*，
  **没有任何 stub 含 i8**；
- 共享符号表（temp/_shared_sym.json → symbol_table_bytes）里
  Generator.Members['ExprGenFstr'] = CTypeInfo(BaseType=CStruct('ExprGenFstr'),
  PtrCount=1, IsStruct=True)，也**正确**。

真根因：llvmlite 本版本 IdentifiedStructType 的字段是**公开属性 `elements`**
（types.py: `self.elements = None`；`is_opaque` = `elements is None`；
`set_body` 仅在 `elements is not None` 时抛 "already defined"）。而本仓所有
"清除 body 以便重建"的路径都写 `st._elements = None`（不存在的属性）⇒ **空操作** ⇒
⇒ `if struct_type.elements is None` 恒假 ⇒ set_body 永不执行 ⇒ 早期冻结的错误布局
（如 i8**）无法被任何后续权威重建覆盖：
  · StructGen Step 4 逐元素校验已判定不一致（_slot_types_ok=False），清空失败 ⇒
    既不能 skip 也不能重建 ⇒ 错布局被静默保留；
  · HandlesClassDef 的本地定义权威重建点（class_members 已重建为正确类型后）
    同样无法刷新 body。
两处叠加正是"class_members 正确、布局却是 i8**"的稳定现象，也解释了此前
TypeGenCDef(槽3) / ExprGenFstr(槽11) 在不同构建里交替出现（取决于谁先被冻结）。

修复：四处解冻改为写公开属性 `elements`：
  · StructGen.py Step 4 前置校验失败后的清空；
  · StructGen.py sha1 全名 key 的 struct 清空；
  · StructGen.py T* 占位清空；
  · HandlesClassDef.py @t.NoVTable 本地定义点的清空。
清空后 is_opaque 恢复为真 ⇒ _TryLoadStructFromStub（declare 侧权威 body）或
class_members 重建可真正 set_body。

2026-09-29 13:13:17 +08:00

Handles

fix(tpc): struct body 解冻改用 llvmlite 公开属性 elements（原 _elements 是空操作）

2026-09-29 13:13:17 +08:00

LLVMCG

fix(tpc): struct body 解冻改用 llvmlite 公开属性 elements（原 _elements 是空操作）

2026-09-29 13:13:17 +08:00

Translator

refactor(return): 移除 @c.CReturn 多返回值处理器，只保留 -> tuple[ty1, ty2, ...]，遇到 CReturn 一律报错

2026-09-28 13:57:04 +08:00

__init__.py

snapshot before regression test