 TermiNexus
|
77a97303b7
|
fix(imports): 全局声明识别 Markers 中的 typedef/define
typedef VOID = void 等新语法不再被当作全局变量发射，避免 void 全局变量断言失败。
|
2026-10-18 15:54:54 +08:00 |
|
|
TermiNexus
|
a91bd8f35b
|
fix(imports): extern 全局变量类型为 void 时 fail-fast
GlobalVariable 不接受 void 指针；解析为 void 时输出变量名、注解与行号，并让 TypeError 穿透外层忽略异常的兜底。
|
2026-10-18 15:49:35 +08:00 |
|
|
TermiNexus
|
4653abd653
|
fix(phase1): typedef 收集读取 Markers 字段
typedef LONG = int32 等新语法不再依赖 CTypedef 文本标记，LONG 能正确进入 typedef_map 并解析为 int32。
|
2026-10-18 15:48:14 +08:00 |
|
|
TermiNexus
|
3081d71570
|
fix(symbol): 补齐泛型实参原始名与浮点串集合
定义 _GENERIC_ARG_RAW_NAMES 与 _LLVM_FLOAT_STRINGS，修复 GenericArgRawName / MangleTypeArgByRegistry 的 NameError。
|
2026-10-18 15:08:26 +08:00 |
|
|
TermiNexus
|
e47b5e4a11
|
fix(expr): 内建短名类型转换并入 builtins typedef 表
sizet/int8/uint64 等短名在表达式调用中直接命中 BUILTIN_TYPE_ALIASES，不再报 Undefined function。
|
2026-10-18 14:42:52 +08:00 |
|
|
TermiNexus
|
1f44d4291c
|
fix(type): 内建短名可直接参与表达式类型转换
builtins 别名表优先于 builtins.vp 扫描，sizet(TB_VPCALL_MAX) 等调用恢复；stub 类型映射仅保留 CPtr 系列到 rawptr。
|
2026-10-18 14:35:43 +08:00 |
|
|
TermiNexus
|
94557ad2c0
|
feat(stub): .vpi 输出新语法（rawptr/novirtual/virtual/tls）
类型名不再输出 CPtr/CInt 等 C* 标记，改为 rawptr/int/sizet 等内建短名；@NoVTable/@CVTable 输出 novirtual/virtual class，TLS/CStatic/CExport/CExtern 输出关键字前缀。
|
2026-10-18 14:25:22 +08:00 |
|
|
TermiNexus
|
700a0ba602
|
fix(stub): .vpi 将 t./c. 前缀类型还原为裸名
生成 stub 时 t.CPtr 等输出为 CPtr，避免 .vpi 中残留 t./c. 模块前缀。
|
2026-10-18 14:23:35 +08:00 |
|
|
TermiNexus
|
a8718aa751
|
fix(type): t/c 模块前缀报错补全文件、行列与替代写法
SymbolExtractor 在提取符号前记录 CurrentFile；类型注解拒绝 t./c. 时输出 文件:行:列、完整写法与改写建议。
|
2026-10-18 14:00:55 +08:00 |
|
|
TermiNexus
|
c91edd5629
|
fix(stub): .vpi 保留 typedef 声明
typedef 变量输出为 typedef NAME = 类型，避免生成 NAME: 类型 = 类型 导致加载端不再把 NAME 当类型别名。
|
2026-10-18 13:57:24 +08:00 |
|
|
TermiNexus
|
3c20d49c4a
|
fix(symbol): 泛型实参归一仅识别内建短名
CInt/CInt32T/CFloat/CFloat64T 等 C 类型类名不再归一，按原名返回；仅内建短名归一为 int。
|
2026-10-18 13:49:39 +08:00 |
|
|
TermiNexus
|
5157ce2996
|
fix(symbol): 补齐泛型实参归一使用的整数/浮点族名集合
NormalizeGenericArgName 引用的 _GENERIC_ARG_INT_NAMES / _GENERIC_ARG_FLOAT_NAMES 此前未定义，导致 NameError；补充 C 类型类名与内建短名。
|
2026-10-18 13:45:10 +08:00 |
|
|
TermiNexus
|
e770e1964f
|
fix(stub): .vpi 保留 extern 关键字与 T* 指针写法
符号表字段改为从 AST Markers 渲染：extern/static/export 变量输出关键字前缀；CPtr[T]/rawptr[T] 输出 T*，不再输出 CPtr[...] 或 CExtern | T。
|
2026-10-18 13:43:59 +08:00 |
|
|
TermiNexus
|
660a15bef8
|
refactor(tpc): 删除类型联合语法并将修饰迁移为 AST 字段
类型注解不再接受任何 T1 | T2；const/volatile/static/export/extern/inline/define/typedef/__attribute__/BigEndian/LittleEndian/Bit 改为注解节点字段 Markers/Attributes/ByteOrder/BitWidth；指针与引用改为 CPtr[T]/CRef[T]/CTempRef[T]/CArrayPtr[T]/CAutoPtr[T]；Python 与 vast_c 两套解析器、类型解析与声明端同步；C 扩展早于 vast_c.c 时自动回退纯 Python 解析器。
|
2026-10-18 13:35:34 +08:00 |
|
|
TermiNexus
|
3269775945
|
feat(tpc): 禁止类型联合 T1 | T2 并优化错误提示
四类类型注解入口统一调用 RejectTypeUnion：任意 T1 | T2 直接报错，报文含行号与 CPtr[T]/rawptr[T]、const/volatile/static/export/extern 替代写法；仅保留内建修饰标记与类型的组合。
|
2026-10-18 13:08:24 +08:00 |
|
|
TermiNexus
|
f19d25782f
|
refactor(tpc): 退役 t/c 模块并将定宽类型升级为内建
删除 lib/includes/t.py、c.py，类型模型迁入 lib/core/TypeSystem.py；移除 IsTModule/_T_MODULE_NAMES 等名称判据，语法糖与内部标记统一为裸名；builtins 的 sizet/intN/uintN/fast/least/uchar/short/long 等改为编译器内建短名。
|
2026-10-18 13:00:58 +08:00 |
|
|
TermiNexus
|
8d27747c7c
|
支持 tls 关键字，全面准备清退 t, c
|
2026-10-17 23:39:41 +08:00 |
|
|
TermiNexus
|
2b4679073e
|
维护基线
|
2026-10-17 23:27:00 +08:00 |
|
|
TermiNexus
|
b51faef1cb
|
fix(tpc): 带注解重声明冲突不再静默丢 store，改为 fail-fast 报错
原有变量分支整段包在 try/except Exception 里，隐式窄化抛出的 FailFastError 被吞成一条 strict 警告 ⇒ alloca 已建、store 整条丢失 ⇒ 之后 load 读到未初始化栈槽（运行期随机崩溃，且无任何编译期提示）。现场：ViperC 由 TPC 引导时 Converter.vp 'di: sizet = ai - (an - dn)'（di 已由 for 循环绑定为 int/i32）→ 生成的 viperc.exe 在 list[AST*].get 处 ASan 越界读（READ 0x1296f00c1808）。现改为捕获后重抛带变量名/两侧类型的清晰错误。
|
2026-10-14 21:12:56 +08:00 |
|
|
TermiNexus
|
5f1d2c3300
|
fix(tpc): 显式强转加宽用 sext、窄化用 trunc，不再被隐式窄化禁令拦下
上一轮把显式强转也统一走 _coerce_value 后，显式窄化（如 ViperC 里 LONG(BUF_B)，Windows LLP64 下 sizeof(long)==4，即 sizet/u64 -> int32）被当成隐式窄化而触发 FailFastError，导致 TPC 重编 ViperC 中断。'隐式窄化禁止' 只约束隐式路径，显式转换必须允许 trunc；同时加宽保持 sext 以免 int64(int32(-1)) 变成 4294967295。Test/IntWidthTest 新增 Test 7 覆盖该形态（12/12 PASS）。
|
2026-10-14 20:57:47 +08:00 |
|
|
TermiNexus
|
6b87a78239
|
fix(tpc): 全局注解赋值的一元负号常量按位宽还原带符号真值
_eval_global_const 对负常量直接用无符号读回值取负，负数被物化成 2 的位宽次方减绝对值，例如 -196608 变成 4294770688。改为先按常量自身位宽还原带符号真值再取负，最后按目标类型发射。
与 aaf9330b 同族，覆盖全局路径。
|
2026-10-14 20:49:52 +08:00 |
|
|
TermiNexus
|
aaf9330b3b
|
fix(tpc): 负数常量与负值整型加宽改为保符号，sext 与常量折叠，不再零扩展
根因：多处手写 zext 做整型加宽，把有符号为负的常量当无符号处理。涉及 HandlesAnnAssign 局部标量初始化两处、HandlesExprCall 的 typedef 与 builtins 强转两处。
一元负号对常量无条件发运行期 neg，常量 -1 变成 neg i32 指令后再被零扩展成 4294967295。
_eval_global_const 用无符号读回值取负，-196608 被物化成 4294770688 即 0x00000000FFFD0000。
现场：b 为 int64 等于 -196608 后，b 右移 1 呈逻辑右移假象，负数右移循环不收敛，见 IntWidthTest Test 5 与 Test 6。
改法：统一收敛到 _coerce_value，加宽用 sext，窄化按其规则 fail-fast；一元负号对常量直接折叠为有符号常量；_eval_global_const 先按位宽还原带符号真值。
另修右移符号性：去掉 emit_binary_op 里按 self._last_var_name 的残留变量名重判，调用方改按 _check_node_unsigned 判定。
验收：Test/IntWidthTest 10 项全 PASS，此前 TPC 侧 5 项通过 2 项失败。
|
2026-10-14 20:49:35 +08:00 |
|
|
TermiNexus
|
55a6856c4e
|
fix(tpc): >> 符号性只按左操作数判定，去掉“残留变量名”误判（负数右移发成 lshr）
- 现场：`b: int64 = -196608; b >> 1` 发成 lshr ⇒ 负数变大正数；而同样注解的 `c: int64 = 0 - 196608; c >> 1` 却正确 ⇒ 与 RHS/位置相关（IntWidthTest Test 5/6）
- 根因：emit_binary_op 在 i32/i64 分支又用 self._last_var_name 重判符号性，而它只是“最近见过的变量名”，可能是上一条表达式残留的别的（无符号）变量 ⇒ 误判无符号
- 改动：① ExprGen.emit_binary_op 删除 i32/i64 的 _last_var_name 分支（符号性只信调用方；i8/i16 仍按宽度定无符号）；② HandlesExprOps 的 `>>` 改用 _check_node_unsigned(Node.left)，覆盖 Name 之外的形态
- 验收：Test/IntWidthTest（Test 5/6），目标 TPC 侧 9/9 PASS
|
2026-10-14 20:18:26 +08:00 |
|
|
TermiNexus
|
23b47053d9
|
chore: 同步 TransPyV→ViperC 改名、new 表达式支持与定宽字面量/窄化适配
|
2026-10-12 20:59:39 +08:00 |
|
|
TermiNexus
|
15f77da9d3
|
chore: 改名同步 TransPyV -> ViperC（源码/配置内的纯替换）
|
2026-10-12 15:06:48 +08:00 |
|
|
TermiNexus
|
f6447ad594
|
chore: 改名同步 TransPyV -> ViperC（.gitignore/文档/脚本）
|
2026-10-12 15:02:19 +08:00 |
|
|
TermiNexus
|
ddf40e02c5
|
feat(deref): 解引用写入 *p = v 采用 DerefAs 安全语义（方案1）
当 v 是指针且 pointee(p) != typeof(v)（原会因'指针<->非基本类型不匹配'fail-fast）时，把指针 p bitcast 成 typeof(v)* 再按值存 v，即 *(T*(p)) = v（DerefAs 期望写法；旧 DerefAs 的 *(intptr_t*(p))=(intptr_t)v 是错实现）。标量宽度等其余情形维持 pointee(p) 语义不变
|
2026-10-11 12:22:23 +08:00 |
|
|
TermiNexus
|
3122793139
|
fix(define): _try_resolve_nested_cdefine 复用 _make_define_constant，消除模块属性 CDefine 的位宽误判
模块属性访问（win32.win32file.GENERIC_READ）走的是 _try_resolve_nested_cdefine，其内部三处常量物化仍用 val > 0x7FFFFFFF 判 i64，绕过 _make_define_constant 的按值推断；导致 0x80000000 等无符号 32 位 define 变 i64、与 32 位使用点组合时报「64→32 隐式窄化」。改为委托 _make_define_constant（带声明类型按声明位宽，否则按值推断）
|
2026-10-11 11:51:31 +08:00 |
|
|
TermiNexus
|
7a061d4d49
|
fix(define): CDefine 常量位宽按值推断（含无符号 32 位高半区）
_make_define_constant 原用 abs(val) > 2^31-1 判定，把 [2^31, 2^32-1] 的无符号位模式（如 GENERIC_READ=0x80000000、SHARED 掩码）误判为 i64，导致 X | DEFINE 结果为 i64、赋回 32 位使用点时触发「64→32 隐式窄化」。改为按值推断：落进 [-2^31, 2^32-1] 即 i32，与 TPV 的 define_min_width/ExprGenCdef 同口径
|
2026-10-11 11:46:33 +08:00 |
|
|
TermiNexus
|
815a6245a5
|
fix(narrow): HandlesAnnAssign._StoreWithCoerce 补注解式整数窄化 fail-fast
此前该路径对整数窄化静默 trunc，导致 x: <32位> = <64位> 注解声明绕过规则；现与 MemoryOps._coerce_value 同口径：豁免 i1 归一化与落进目标位宽的编译期常量，其余抛 FailFastError
|
2026-10-11 09:51:03 +08:00 |
|
|
TermiNexus
|
3b16334f5d
|
feat(types): 禁止隐式窄化（整数 高→低）——_coerce_value 与 pointee 判据同步
与 TransPyV 同口径：_coerce_value 的 int→int 窄化分支改为 fail-fast（隐式窄化禁止），仅豁免 ① 目标 i1 真值归一化 ② 编译期常量且值落进目标位宽；_ScalarConvertLossless 的 int↔int 改为 Dst.width>=Src.width。
|
2026-10-10 21:57:25 +08:00 |
|
|
TermiNexus
|
4f9c234ea8
|
fix(cdef): external 声明不再遮蔽同名 CDefine 常量；补 t 类名别名解析
两处：① 现场证据（_shared_sym_includes.pickle）显示 all_dc 已含 STD_*-10/-11/-12，但模块 IR 仍 load @STD_ERROR_HANDLE —— 因为 stub 注入的 @X = external global（无初值）让 _lookup_cdefine 的遮蔽判据 AttrName in Gen.module.globals 成立，直接跳过了 CDefine 回退。新增 SymbolUtils.GlobalDeclShadowsDefine：只有**带初值**（本模块真正定义）的全局才遮蔽；仅 external 声明不算。裸名路径同判据改用同一 helper。② all_decl_types 为空的根因：DWORD 的 BaseType 为 None，底层类型存在 OriginalType 字符串 'CUInt32T'（t 类名），原解析只认内层 CTypeInfo。补：按 getattr(t, 类名) 解析该串。离线校验 DWORD|t.CDefine → (32, False)。
|
2026-10-10 21:25:33 +08:00 |
|
|
TermiNexus
|
d5b4e9a8b9
|
feat(cdef): define 常量带类型注册——按声明类型物化（DWORD(-11) → i32 位型）
方案 C：CDefine 不再只存无类型 int，而是把**声明整数类型**（位宽 + 符号性）一并登记，使用点按该类型物化，而不是按数值大小猜 i32/i64。链路：① SymbolUtils 新增 DefineIntSignednessOf / DefineDeclIntTypeFromAnnotation（由 T | t.CDefine 注解经符号表 typedef 链解析宽度与符号性）/ DefineDeclTypeValue（按声明类型把值归一成 (位宽, 位型值)）；② 同模块注册（LlvmGenerator._register_cdefine_constant）与跨模块提取（Phase2Translator._ExtractCDefineConstantsFromPyi，含 _shared_all_decl_types 的 pickle 传递）分别写 Gen._define_decl_types / translator._define_decl_types；③ 物化处（HandlesExpr 裸名两处、HandlesExprAttr._make_define_constant，及 from-import 注册）优先按声明类型出常量。这样 win32file 的 STD_*_HANDLE（DWORD(-10/-11/-12)）解析为 i32 位型 0xFFFFFFF5 等，与 GetStdHandle(ULONG) 使用点一致。
|
2026-10-10 21:20:30 +08:00 |
|
|
TermiNexus
|
e1a0fbf9c0
|
fix(cdef): 裸类型别名构造的 CDefine（如 DWORD(-11)）也能提取进 _all_define_constants
根因：ConstEvaluator 只认 t.X(...) / from t import X 的类型构造，裸 typedef 别名（DWORD(-11)）既不在 _t_module 也不在 mock ctx 的 _t_type_symbols → eval_full 返回 None → _ExtractCDefineConstantsFromPyi 整条丢弃该常量。win32file.vp 的 STD_INPUT/OUTPUT/ERROR_HANDLE 是全仓唯一用别名构造写的 define，正对应链接期三个 undefined symbol（模块属性访问 wf.STD_*_HANDLE 解析落空后退化成未定义全局）。补：eval_full 失败且值为单参 Call 时，回退求值其实参（CDefine 只要常量值，位型一致）。
|
2026-10-10 20:57:26 +08:00 |
|
|
TermiNexus
|
936a43f543
|
fix(attr): 模块属性访问的 CDefine 查询补 _all_define_constants 回退
上一提交只补了 3 级路径 _try_resolve_nested_cdefine，而 win32file.STD_OUTPUT_HANDLE 是 2 级访问 → 走 _handle_attr_name → _lookup_cdefine，该函数只查 SymbolTable/_define_constants，没有裸名路径已有的 _all_define_constants 回退。includes 的 vpi 模块不会在 SymbolTable 里登记 IsDefine，于是解析落空 → _lookup_module_global 现造一个无定义的 @STD_OUTPUT_HANDLE → 链接期 undefined symbol。补回退（仅在无同名变量/全局时），覆盖 STD_INPUT/OUTPUT/ERROR_HANDLE。
|
2026-10-10 20:46:52 +08:00 |
|
|
TermiNexus
|
1050e5a23a
|
fix(decl): stub 跳过联合形态 CDefine + 模块属性访问回退 _all_define_constants
链接报 undefined symbol: STD_INPUT/OUTPUT/ERROR_HANDLE。根因两处：① DeclarationGenerator._generate_global_decl 的 CDefine 跳过判据只认裸 t.CDefine，而 define X: T = V 展开为注解 T | t.CDefine，于是 stub 里写出 @STD_OUTPUT_HANDLE = external global i32（该符号无人定义）；② 模块属性访问 win32file.STD_OUTPUT_HANDLE 的 _try_resolve_nested_cdefine 只查 SymbolTable/_define_constants，缺裸名路径已有的 _all_define_constants 回退，解析落空后转去加载那条错误的 stub 全局 → 链接期未定义符号。改为 AnnotationContainsName 判据 + 补 _all_define_constants 回退（仅在本模块无同名全局时，避免遮蔽真实模块全局）。
|
2026-10-10 20:29:59 +08:00 |
|
|
TermiNexus
|
18d753999d
|
feat(preprocess): ExpandSoftKeywords 增加 new 生命周期软关键字展开
TPV 的 new [描述符...] T(args) 出现在共享 includes（w32/fileio.vp 的 return new File(...)）后会打断 TPC 引导编译（TPC 把它当普通名字 → NameError）。新增第 10 种展开 _ExpandNewExprs：把 new + [stack|heap|hlife|slife|memgr(...)] + 类型名 + ( 删成等价裸构造 T(args)，TPC 无需理解生命周期语义；new = 1 / new.x / new(1) / for new in 仍作标识符，跨行不处理。
|
2026-10-10 15:24:09 +08:00 |
|
|
TermiNexus
|
04acaa3dd5
|
fix(funcdef): @life/@willFree 从自定义行为装饰器检测中排除
P2 的编译期生命期标注没有运行时装饰器函数；不排除会生成 wrapper 去调用不存在的 @life/@willFree，并把被装饰的 extern def（stdlib.free）变成本模块 internal 声明。与 TPV 侧 FuncGenDef 同口径。
|
2026-10-08 21:44:02 +08:00 |
|
|
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
|
75aae26881
|
fix(codegen): arg 糖支持 vprintf 式转发的 va_list，补 stdarg 模块限定分派
_HandleArgLlvm 的回退分支原先把 Gen.variables 里的形参 alloca 直接当 va_list 用，转发形态（vsnprintf(buf,size,fmt,args)）因此多一层间接、读错内存；现改为先 load 出槽里的 va_list 指针（自身变参形态仍走 _direct_values 缓冲地址、不 load）。另新增 ModulePath == 'stdarg' 分派，使 stdarg.arg/va_arg/va_start/va_end 命中与裸名相同的内建（点号形式此前会落到外部调用产生未定义符号 @arg）。同时删除 ExprCallHandle 里重复且无调用者的 _HandleArgLlvm 死代码。
|
2026-10-07 20:15:32 +08:00 |
|
|
TermiNexus
|
9656bb161a
|
feat(codegen): 值引用自动取址收口到 _adjust_args，补齐 vtable/方法/构造等路径
查表键统一为真实发射出的函数名：FuncGen._adjust_args 开头以 func.name 调用 _apply_auto_addr，于是 direct/vtable 虚分派/构造/静态/__call__/下标赋值/c.Addr 构造/闭包/泛型/方法兜底全部自动取址，不再依赖每个调用点手写；同时删除 16 处冗余显式取址（t.CAutoPtr 的 always 模式不幂等，重复应用会多包一层指针）。登记侧：HandlesImports 把模式登记提前到 FuncName-in-Gen.functions 早退之前并按 func.name 主键写表，_TryLoadStructFromStub 改为无条件调用；HandlesFunctions 在函数对象就绪后按真实名登记，并在 _EmitFunctionForwardDeclLlvm 把逻辑名下的模式播种到 MangledName，覆盖同模块先调用后定义的场景。
|
2026-10-07 19:59:36 +08:00 |
|
|
TermiNexus
|
b49b5c3ba6
|
chore(parse): 已删除的 CIf 家族名字表补齐 CElif/CElse/CEndif
ExprParser 的 _REMOVED_CIF_NAMES 与 vast_c.c 的 Interesting/Removed 名字表原本只认 CIf/CIfdef/CIfndef，现补齐三件套六个拼写（含 c. 前缀形式），使 parser 阶段即可给出指向 cif/celif/celse 的 FailFast；_parser.pyd 同步重编。
|
2026-10-07 19:59:28 +08:00 |
|
|
TermiNexus
|
6a7b27e14f
|
chore(c): 清理已删除的 c.CIf 家族残留
c.py 删除 CElif/CElse/CEndif 三个类及其 Library_C 登记；HandlesSpecialCall 删除无人调用的 _HandleCIfLlvm；_REMOVED_CIF_CALL_MSG 的报文补齐 CElif/CElse/CEndif 六个拼写。Converter.py 去掉已无意义的注释掉守卫与 c.CIfndef/c.CEndif 时代注释，示例改为仍在用的 c.CUndef/c.CPragma；ExprParser/ConstEvaluator/HandlesIf 的注释把内部标记统一写成 c.@CIfdef 与 cif 标记。
|
2026-10-07 19:09:59 +08:00 |
|
|
TermiNexus
|
2514cee4c9
|
feat(lang): 同步 cif/celif/celse、值引用注解与 assert 改译 testcheck.check
vast 双路径（Python Parser/ExprParser 与 C 扩展 vast_c.c）新增 cif-celif-celse 语句族与 &T / &temp T 参数注解解析，_parser.pyd 已同步重编。HandlesIf 改认 @CIf 标记并做编译期常量求值，含运行时变量一律 fail-fast，同时删除 c.CIf 家族（c.py）。HandlesAssert 合成 testcheck.check(cond, None, msg) 调用，非字符串字面量消息报 TypeError。FuncGen 调用点按形参模式自动取址（ref 仅接受左值，右值 fail-fast；temp 物化临时栈），SymbolUtils/TypeAnnotationResolver 提供模式识别；t.py 删除 CNeedPtr。
|
2026-10-07 19:03:29 +08:00 |
|
|
TermiNexus
|
64f3d79b64
|
refactor(asan): ASan 运行库目录改为按 PATH 自动探测，去除本机硬编码路径
- _FindAsanRuntimeDir() 重写为 _FindAsanRuntime()：遍历 PATH 定位
- clang64/bin 由前置改为追加到 PATH，避免裸名 clang++/llc/opt 被解析到 clang64 的 libc++ 版本
- 缺失 ASan 运行库时的报错文案改用占位符路径
|
2026-10-07 11:25:37 +08:00 |
|
|
TermiNexus
|
305242aa8a
|
feat(parse): typedef 右值纳入类型位，支持 const T / T*
X: t.CTypedef = const str / = const uint16* 现按类型位解析（含 typedef X = T 语法糖）：
- 文本层：_ExpandTypeDescriptors 新增 _IsTypedefAnnotationRhs（= 右侧且语句含 CTypedef）；
- 解析层：vast.Parser._TryParseAnnAssign 对 CTypedef 注解的右值走 _ParseTypeAnnotation，vast_c.c 同步并重建 _parser.pyd；
- 文本回退：TypeAnnotationResolver._NormalizeTypedefRhsText 把 const T / T* 归一为 | 联合；
- 值解析：LLVMTypeMapper.resolve_typedef_value_type 把 CConst/CVolatile 限定符标记视为无类型（_TYPEDEF_VALUE_QUALIFIERS），修 const str 被误解析成 CConst * 导致 LPCSTR 登记失败。
|
2026-10-05 20:36:29 +08:00 |
|
|
TermiNexus
|
59378e6a2a
|
fix(codegen): 内建标量别名双参指针包装 + 解引用赋值按 c.Load 原样拷贝
HandlesExprBuiltin: int/char/bool/float/double(v, t.CPtr) 不再被标量分支吞掉第二参，改由 TSpecialCallHandle._HandleTPtrCastLlvm 处理（等价 t.CInt(v, t.CPtr)）；此前退化为 ptrtoint+trunc，includes/argparse.vp get_bool 因此恒真，--version/--project 一律打印帮助。
HandlesAssign: 目标与右值同为解引用（*a = *b）时按 c.Load 语义做原样字节拷贝，抽出 CSpecialCallHandle.EmitRawCopyLlvm 复用；此前按 fptosi/trunc 转换，mlirlite ConstFloat 的位双关 *&fv_bits = *&val 会把 double 位模式截断为整数，浮点字面量全部错误。
|
2026-10-05 14:14:25 +08:00 |
|
|
TermiNexus
|
397bab1360
|
chore(vast_c): 同步 C 解析器二进制产物 _parser.pyd
重新编译 vast_c 源码后的 .pyd 产物（217027 -> 220943 字节）。
|
2026-10-05 09:26:26 +08:00 |
|
|
TermiNexus
|
9fe88831f3
|
fix(codegen): 修复模块级 str 字面量全局的初始化器缺失
模块级 `X: str = "字面量"` 有两条路径都没写出正确初始化器：
1) 新建全局分支在创建 GlobalVar 之后又查 `VarName not in Gen.module.globals`
（此时刚登记，条件恒假），于是永远走 else 分支、从不写初始化器：全局退化成
无初值的声明，第二遍再被升级成 `common global i8* null`，字符串常量沦为无人
引用的 @NAME_str。只读常量（如 BuildPipeline.MLIR_OPT_CMD）在 mlir 后端
strlen(NULL) 直接崩（ASan 0x0）。
2) 把既有 external 声明升级为本模块定义的分支一律设 common，但 LLVM 要求
common 全局的初始化器必须是零值，字符串字面量会触发 verifier 报错。
新增 _BuildStringPtrInitializer 统一产出「指向 @{Name}_str 常量数组首元素的
GEP」，两处改用它。
验证：TransPyV 自举通过；TPV 顺序回归 77/77 全通过。
|
2026-10-05 09:26:26 +08:00 |
|
|
TermiNexus
|
07ba7a4fe5
|
fix(codegen): 新规范迁移暴露的 4 类解析/代码生成缺陷
1) HandlesExpr._HandleConstantLlvm 引号判定用 AST lineno 直查磁盘行，漏了 _inject_auto_imports 注入行的偏移 N，取到错行；改用 _DiskLineno 还原，并把 col_offset（UTF-8 字节偏移）转字符偏移后再切片。2) Phase2Translator 新增 _DedupComdatDecls：_dso.ll 由各依赖片段拼接，每片段各带同名 comdat 声明，llc 报 redefinition of comdat；在 _AddWeakComdat 入口与两处落盘点去重。3) LLVMTypeMapper._resolve_name 补存储类/类型限定符标记分支（CExport/CExtern/CConst… 返回空串，由 _resolve_bitor 取另一侧真实类型），与 _resolve_attribute 同口径。4) 短别名（int/int64/sizet/char…）在 typedef 右值与类型转换调用处解析不到：SymbolTypeResolver._resolve_typedef_from_value 与 LLVMTypeMapper.resolve_typedef_value_type 的 ast.Name 分支补 builtins typedef / BuiltinTypeMap 兜底（BaseType 可能是 CType 实例，须取 type(x).__name__），HandlesExprCall 的类型转换求值补 _lookup_builtins_typedef 回退并保留双参数 CPtr 指针包装。验证：TransPyV 自举 includes 52/52 + App 76/76 全通过；TPV 顺序回归 77/77。
|
2026-10-05 09:25:02 +08:00 |
|