TransPyC

0 Fork 0

Files

T

TermiNexus fd212b3ff8 fix(tpc): 联合强转 (T|t.CPtr)(x) 及其属性访问失败改为 fail-fast（附判定依据）

类别：b 机制漏豁免（把静默 return None 改成响亮失败并带证据）。

现场：TransPyV lib/core/Gen/Expr/ExprGenBase.vp:360 的
v = (ast.Expr*(node)).value 报“赋值表达式 'value'（Attribute 形态）编译期
求值为空”，而同一函数前三条 (ast.Assign/AnnAssign/AugAssign*(node)).value
同款写法正常 ⇒ 无法从报错看出是哪一步丢了类型。

两处静默返回改为 fail-fast（均只对该强转形态生效，其余路径行为不变）：
1. HandlesExprCall._HandleTypeUnionCastLlvm：目标类型串解析失败（原为
   _vlog().warning + return None）。新增 _DescribeUnionCastFailure 取证：
   MergeTypes 返回值/ToString()/异常、_ExtractTypeStrFromUnionBinOp 结果，
   以及联合中每个操作数在符号表与类登记表（Gen.structs / _struct_sha1_map /
   class_sha1_map）的命中情况 —— 直接指认“基座类名没被当成类”还是
   “CPtr 标记侧解析失败”。
2. HandlesExprAttr._handle_attr_call_result：(T|t.CPtr)(x).attr 的 5 个
   return None（基座求值为空 / 非指针 / find_struct_by_pointee 未命中 /
   结构体不透明 / 成员偏移取不到）改为 _FailFastAttrCallBase，报文含联合
   基类名与三家登记表命中、被指类型 elements、class_members 项数与目标成员偏移。

原因：(T|t.CPtr)(x) 只可能来自指针强转（parser 把 (T*)x / (T*)(x) / T*(x)
统一产成该 Call），必须有值产出；静默丢弃会让整条表达式被判为空，把
“类名解析失败 / 结构体不透明 / 成员偏移取不到”三种不同根因混成同一条报文。

2026-09-29 12:23:54 +08:00

Handles

fix(tpc): 联合强转 (T|t.CPtr)(x) 及其属性访问失败改为 fail-fast（附判定依据）

2026-09-29 12:23:54 +08:00

LLVMCG

fix(tpc): 降级判据改用「注解形态 + 解析结果形状」，放在字段类型唯一漏斗

2026-09-29 12:04:20 +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