 TermiNexus
|
5a0eecc22f
|
feat(core): 栈地址逃逸检查（LifetimeError）与标量→聚合 fail-fast
- MemoryOps._IsFrameStackAddr 判据 + HandlesReturn/HandlesAssign 汇点挂钩：禁止栈地址逃逸（&local 与数组退让）；新增 LifetimeError(FailFastError) 承载该错误类。 - MemoryOps._coerce_value：标量（整数/浮点）不得初始化/赋值给聚合类型，改为 FailFastError（旧行为让 _store 抛 TypeError，非 strict 下被静默吞掉，聚合未初始化）。
|
2026-10-08 12:10:24 +08:00 |
|
|
TermiNexus
|
7ee6ebe6b0
|
fix(类型转换): int→i1 目标改为真值归一化 != 0，与 bool(x)/if 条件同判据
类别：a（编译器缺陷）。TPC 侧此前对 i1 目标一律 trunc（取最低位）：运行时值 2 →
最低位 0 → false，而同一值在 `if 2:` / `bool(2)`（icmp ne 0）为真 ⇒ 条件上下文与
落存储/强转两处结论相反（静默语义分裂）。
- MemoryOps._CoerceIntToI1（新增，唯一判据源）：非 i1 整数 → `icmp ne x, 0`。
- MemoryOps._coerce_value：窄化且目标位宽 == 1 时走 _CoerceIntToI1。
- HandlesAnnAssign._StoreWithCoerce：同上（self.字段 / obj.字段 落存储）。
- HandlesExprCall._HandleTypeCastLlvm：显式强转目标 i1 时同上。
与 TransPyV 侧同批修复（coerce_to_type / _translate_t_type_cast）对齐。
注：TPC 的 `bool` 注解仍是 i8（t.CBool.Size=8），故 `b: bool = 2` 仍按 i8 保位存储
（int(b)=2）；本次只覆盖**真 i1 目标**，双端 bool 位宽差异见
SymbolUtils.py:1218-1223 已记录的全局语义分裂。
|
2026-09-30 15:14:31 +08:00 |
|
|
TermiNexus
|
d305d3369b
|
fix(tpc): IR 边界补「指针操作数类型守卫」，非指针值不再抛裸 AttributeError
类别 a（编译器缺陷／诊断缺失）：llvmlite 的 IRBuilder.gep 不做任何类型校验，
GEPInstr.__init__ 直接读 ptr.type.is_opaque；LoadInstr 同族亦同（instructions.py
:440/:558）。上游一旦把非指针值（典型 i32）当指针传入，抛出的就是裸
`AttributeError: 'IntType' object has no attribute 'is_opaque'` —— 报文里既没有
指令名、没有操作数、也没有当前语句，无法定位发射点（现场：Phase2 翻译
TransPyV/App/lib/core/Gen/TranslatorGenMixin.vp 时只带 713/787/788 三条语句位置）。
- BaseGen：新增 RequirePointerOperand（IR 边界先行判定，不做兜底转换）与
_GuardIrBuilder（无条件覆盖 gep/load/store，合法 IR 与原生 ir.IRBuilder 一致）；
_HotspotSiteBuilder 改继承 _GuardIrBuilder；_NewIrBuilder 未启用热点统计时
由原生 ir.IRBuilder 改为返回 _GuardIrBuilder。
- MemoryOps：_EmitLoad/_EmitStore 的 volatile 分支直接构造 LoadInstr/StoreInstr，
绕过了 builder.load/store 的类型守卫，补同一判定（非指针 ptr 的 store 会静默
生成非法 IR 文本）。
报文含：指令名、操作数类型、操作数名、GEP 的 name=（发射点标识）+ 当前节点位置。
|
2026-09-29 19:24:27 +08:00 |
|
|
TermiNexus
|
49f0386c33
|
fix(tpc): 构造物化豁免按「与目标同一」匹配，覆盖 sha1 前缀命名
a 编译器缺陷（承接 fa6b3c2e，仍拦 `*槽 = <boxed 变体构造>`）：上一版按 callee
候选名直查 `Gen.structs` 取聚合 —— 但跨模块命名隔离下，同一类型的键是
`sha1.ClassName` 全名（stub 里就是 `%"50741ad4b4b0934d.LLVMType"`），裸名键
往往另有一份 opaque 占位条目且**不是同一 IR 类型**。于是
`LLVMType.Struct(...)`（候选名 Struct / LLVMType）取到的是占位/取不到，
与 target_type（`%"50741ad4b4b0934d.LLVMType"`）比对失败 ⇒ 豁免不生效。
修法：不按裸名直查，改为「键等于候选名，或以 `.<候选名>` 结尾」扫描 structs，
并要求取到的聚合与 TargetType **同一**（对象同一或 IR 名相同）才命中。命中后
若源的被指类型与目标仍非同一对象/名字（构造走的是另一份条目），按 DerefAs 的
整对象拷贝语义落地：指针 bitcast 到目标被指类型再 load（指针→指针 bitcast 恒
合法），绝不把指针值写进值槽。
现场（TransPyV/App/lib/core/Gen/Class/ClassGenDef.vp:122）：
*existing.Ty = llvmlite.LLVMType.Struct(...)
→ 非基本类型的值/指针隐式转换已禁止（构造物化除外）：不能把指针类型
%"50741ad4b4b0934d.LLVMType"* 隐式转为值类型 %"50741ad4b4b0934d.LLVMType"
|
2026-09-28 23:32:23 +08:00 |
|
|
TermiNexus
|
fa6b3c2e64
|
fix(tpc): 「构造物化」豁免覆盖 REnum 变体构造（*槽 = <boxed 变体> 被误拦）
a 编译器缺陷：规则③（非基本类型值 ↔ 指针隐式转换一律禁止——含 T* → T）
的唯一例外是「构造物化」，但 _CtorCallStructType 只按 callee 名在 Gen.structs
里取聚合类型：对 REnum 变体构造 Qual.Variant(...)（如
llvmlite.LLVMType.Struct(fields, fcount, name)）取到的是**变体短名 Struct**，
structs 中不存在 ⇒ 恒 miss，于是 `*existing.Ty = <boxed 变体>` 被当作指针→值
隐式转换拦下。报文自己写着「构造物化除外」，实现却没覆盖这一形态。
修法：按 HandlesExprCall._HandleCallLlvm 的分派顺序补齐判据 —— 先按 callee 名
判类构造（Point()），miss 后再按**限定名 Qual**（REnum 类，如 LLVMType）取一次
聚合类型。REnum 变体构造返回 boxed 指针（_allocaEntry(RenumType)），其 pointee
恰为 structs[Qual]，与 target_type 比对通过即放行，随后走既有的
「load + 整对象 store」物化路径（与 c.DerefAs 的整对象拷贝分支等价）。
现场：非基本类型的值/指针隐式转换已禁止（构造物化除外）：不能把指针类型
%"50741ad4b4b0934d.LLVMType"* 隐式转为值类型 %"50741ad4b4b0934d.LLVMType"
（ClassGenDef.vp:117）。
|
2026-09-28 23:21:27 +08:00 |
|
|
TermiNexus
|
49ff1b995f
|
fix(cast): 显式指针 cast 一律放行（按 bitcast 重解释）+ MemoryOps 改用 vast 解析器模块
① 新增 _IsExplicitPtrCastNode：值节点是写明的指针转换调用（t.CPtr(x)/CPtr(x)/c.CPtr(x)/rawptr[T](x)/t.CPtr[T](x)/(T*)x/T*(x)）时，_ClassifyPtrImplicitConvert 直接放行（用户规则「显式转换都可以」），调用方按既有 bitcast 重解释；非 cast 调用（MemBuddy(x)/list[X](x)/foo(x)）不受影响。
根因：includes/_list.vp:60 的 elem_ptr: T | t.CPtr = t.CPtr(地址) 在 list[X*] 特化下 T|t.CPtr = X**（T 本身是指针），而 t.CPtr(...) 的值是 i8* ⇒ 被判「层数不同」，与报错自己给的「如需转换请显式 cast（如 t.CPtr(...)）」建议自相矛盾（ExprGenFstr.vp 编译失败的 2 条 elem_ptr 报错）。
② MemoryOps.py 的 import ast 是标准库 —— 但 TPC 全部源码由 vast 解析，节点类为 lib.vast.Nodes.*，与标准库 ast 互不兼容 ⇒ 该文件所有节点类型判据对 Viper 源码静默失效（_value_node_of 子表达式下沉、_CtorCallStructType 构造物化豁免、以及新增的 cast 判据都不生效）。改为 import vast as ast，一并修复。
|
2026-09-28 16:48:52 +08:00 |
|
|
TermiNexus
|
97c196bfc7
|
feat(cast): 放行数组退让（[N]T* → T* 单向），与继承上转同处判据
在 _ClassifyPtrImplicitConvert 的“被指类型非基本”分支里、继承上转之后加数组退让分支：源的被指类型是 ir.ArrayType 且其 element 与目标被指类型相同 ⇒ 放行（C/C++ 同口径）
判据顺序（两侧一致）：层数不同即禁 → 完全相同放行 → 通用指针通配 → 标量无损/有损 → 继承上转 → 数组退让 → 否则 DENY；反向 T*→[N]T*、多维只退一层（[N][M]T*→[M]T* 放行、→T* 不放行）
|
2026-09-28 15:38:41 +08:00 |
|
|
TermiNexus
|
171b0e3eeb
|
fix(cast): 补继承上转豁免（Derived*→Base* 允许隐式转换），修 MemBuddy*→MemManager* 被规则③误拦
_ClassifyPtrImplicitConvert 由 staticmethod 改实例方法（全仓 5 处调用均为 self./Gen.，无 unbound 调用）；新增 _ClassNameOfPointee（复用 Gen.find_struct_by_pointee + 短名回退）与 _IsInheritanceUpcastPointee（复用 Gen._get_mro_chain）；两指针皆非基本标量时先判上转再判禁
保持：Base*→Derived* 仍禁（下转须显式强转）、无关结构体互转仍禁、通用指针通配/层数/完全相同/None/构造物化/标量无损口径不变
|
2026-09-28 15:29:41 +08:00 |
|
|
TermiNexus
|
9f8190d58f
|
fix(cast): 无损口径对齐 TPV + 规则③豁免构造物化（p: Point = Point() 放行，真实 Foo*→Foo 仍禁）
_ScalarConvertLossless 改为与 TPV 一致：int↔int 全向允许、float↔float 全向允许、int→float 需目标浮点位宽≥源整数位宽、float→int 不允许（此前把整数↔浮点一律判有损，两侧不一致）
新增 _ValueNodeOf / _CtorCallStructType：指针→非基本值分支先豁免构造物化（Call 被调方命中 Gen.structs 且类型同一），其余保持禁止；报文前缀与 TPV 逐字一致；诊断沿用 _DescribeValueNode
已知未覆盖：TPC 无对称的“值→指针”检查；泛型构造不豁免；别名导入的类名可能命不中（保守不豁免，只误报不漏放）
|
2026-09-28 15:17:48 +08:00 |
|
|
TermiNexus
|
d7158bd336
|
feat(cast): 指针隐式转换新规则 + None 可隐式转任意类型 + 诊断错位修复（9 文件）
MemoryOps._ClassifyPtrImplicitConvert：同类型放行；层数不同禁；任一侧通用指针(i8*)放行；皆非通用按被指类型（非基本类型禁、基本标量按位宽无损）；指针与非基本值互换禁
_IsNoneValue 收敛：AST None 常量 或 指针型 null 常量 → 放行任意目标（指针目标给 null，非指针目标给零值）；整数 0 不误命中；短路口覆盖 9 处禁令
诊断：新增 BaseGen._DescribeValueNode（子表达式下沉 + 有符号列号 + 源码片段），9 处禁令统一使用，不再打印外层 Assign 与 4294967295 列号
注：TPC 侧规则③比 TPV 更严（指针→非基本值恒禁），可能与既有按值回读冲突；待实机编译确认后再统一两侧口径
|
2026-09-28 15:10:39 +08:00 |
|
|
TermiNexus
|
c83fc752c6
|
fix(sizeof,parse): 尺寸链去静默兜底，解析报错可定位，补 C 解析器缺口
StructGen: _get_struct_size/_get_align 去 opaque→8/ptr_size、未知→4 兜底并补 VectorType；LiteralStructType.fields→.elements（llvmlite 无 fields，必然 AttributeError）
HandlesClassDef: union 载荷尺寸经不存在的 ir.DataLayout 静默退化成 8 字节；HandlesExprCall/ExprBuiltin: sizeof 各静默 0 分支改 fail-fast，数组元素 sizeof 统一走 _get_struct_size
HandlesFor: nonlocal struct/array 堆分配不再退化成 malloc(8)
vast/vast_c: 补一元 * / & 解析，装饰器后 extern/export 分派修复，C 侧报错带 token 与行号；StubGen.Converter: 宏展开丢尾随空行修 .pyi 缩进非法
其余为 rawptr 迁移 / fail-fast 口径等历史改动一并入库
|
2026-09-26 19:27:22 +08:00 |
|
|
TermiNexus
|
2922af79f1
|
fix(LLVMCG): 禁止对 null 指针常量做 load 转 int 字段
_coerce_value 中 target 为 IntType 且 val 为 PointerType 时，若
val 是 null 常量且 pointee.width == target.width，此前直接
builder.load(null) 生成 load i32, i32* null，运行时 ASAN
access-violation。根因场景：Generator.__init__ 里
self.ClassMetaKinds = None（字段注解 t.CInt | t.CPtr，联合类型
退化为 i32 槽位，None 解析为 i32* null）。修复：null 常量赋 int
字段直接返回 0；_store 的 null 分支同步补 IntType 处理。
|
2026-08-18 12:50:31 +08:00 |
|
|
t
|
796222a300
|
snapshot before regression test
|
2026-07-18 19:25:40 +08:00 |
|