- HandlesImports: 模块在所有来源找不到时 raise ImportError(原静默容忍导致跨模块 mangled fallback,链接期才暴露 undefined symbol) - LlvmGenerator: import 处理 ImportError 直接重抛,不被 _ErrorStack 吞掉 - FuncGen: 指针→整数、浮点→整数隐式转换改 raise TypeError(显式 cast 仍允许,符合隐式转换规则) - HandlesFunctions: 有非 void 返回注解但函数体掉出末尾 raise Exception(-> None / -> t.CVoid 视为 Void 仍合法) - 新增 Test/NegativeTest 反向测试专项:9 个漏检用例,当前 9 PASS / 0 FAIL
37 lines
890 B
JSON
37 lines
890 B
JSON
{
|
|
"name": "NegativeTest",
|
|
"version": "1.0.0",
|
|
"source_dir": "./App",
|
|
"build_dir": "./.tpv_build",
|
|
"compiler": {
|
|
"cmd": "llc",
|
|
"flags": [
|
|
"-filetype=obj",
|
|
"-relocation-model=pic"
|
|
]
|
|
},
|
|
"linker": {
|
|
"cmd": "clang++",
|
|
"flags": [
|
|
"-lmsvcrt",
|
|
"-lucrt",
|
|
"-lpthread",
|
|
"-lmingwex",
|
|
"-lkernel32",
|
|
"-Wl,--allow-multiple-definition"
|
|
],
|
|
"output": "NegativeTest.exe"
|
|
},
|
|
"includes": [
|
|
"../../includes"
|
|
],
|
|
"target": {
|
|
"triple": "x86_64-pc-windows-gnu",
|
|
"datalayout": "e:m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
|
|
},
|
|
"options": {
|
|
"slice_level": 3,
|
|
"target": "llvm",
|
|
"strict_mode": true
|
|
}
|
|
} |