_selftest/test_error.m · 3844 字节 · 下载原文

// test_error.m —— VML 跨语言「诊断」判据（**故意编不过**）

// test_error.m -- VML cross-language "diagnostics" probe (**deliberately does not compile**)

//

// ⚠ 这是**刻意的诊断用例**，不参与任何「编译通过性」检查

// ⚠ This is a **deliberate diagnostic case**; it takes part in no "compile-cleanliness" check

//   （`vml-out-probe` 那套逐字节比对跑的是同目录的 out.*，别把本文件混进去）。

//   (the byte-for-byte comparison in `vml-out-probe` runs against the out.* files in this same directory -- do not mix this file into it).

// 用途：验证 error / warning 的报出与要素（文件 / 行 / 列 / 诊断码）+ 编辑器气泡。

// Purpose: verify that error / warning are reported with their fields (file / line / col / diag-code) + the editor squiggle.

// 期望产出：1 个 warning + 1 个 error，两者要素齐全。

// Expected output: 1 warning + 1 error, both with all their fields.

//

// ⚠ **warning 刻意用「缺失头文件」造**：预处理器那条 `[Preprocessor_IncludeNotFound]`（1201）

// ⚠ **The warning is deliberately made with a "missing header"**: the preprocessor's `[Preprocessor_IncludeNotFound]` (1201)

//   是**默认就开**的真诊断，自带 文件:行 + 诊断码；它只产 warning、不产 error ——

//   is a **default-on** real diagnostic carrying file:line + diag-code; it produces only a warning, not an error --

//   本文件的 error 仍是下面那句未声明引用。「未使用变量」那类警告本前端产不出

//   this file's error is still the undeclared reference below. The frontend cannot produce "unused variable" warnings

//   （`WarnUnused` 全仓**只有 CCompiler 在调**，CompilerBase/CodeGeneratorBase.cs:130）；

//   (`WarnUnused` is called **only by CCompiler** in this whole repo, CompilerBase/CodeGeneratorBase.cs:130);

//   它另有 @try/@catch/@throw 三条 MCU 模式警告，但被 `WarningLevel`（默认 0，

//   it also has three MCU-mode warnings for @try/@catch/@throw, but they are blocked dead by `WarningLevel` (default 0,

//   CompilerBase/CompilerPluginBase.cs:77）挡死 ⇒ 实测静默。unusedCount 是刻意留的探针。

//   CompilerBase/CompilerPluginBase.cs:77) => measured silent. unusedCount is a deliberately kept probe.

// ⚠ 与 js / lua 不同，本前端**会**检查未声明的变量（**读**侧）—— 走共用诊断通道

// ⚠ Unlike js / lua, this frontend **does** check undeclared variables (on the **read** side) -- it goes through the shared diagnostic channel

//   `ReportUndefined`（ObjCCompiler/CodeGenerator.cs:87），故诊断码与列号都齐。

//   `ReportUndefined` (ObjCCompiler/CodeGenerator.cs:87), so both the diag-code and the column are present.

//   ↳ 2026-10-04 复验仍成立：实测 1 个 error（`test_error.m:35:18: error: 未声明的变量 'undefinedValue' [CodeGen_UndefinedVariable]`）

//   ↳ Still true, re-checked 2026-10-04: measures 1 error (`test_error.m:35:18: error: undeclared variable 'undefinedValue' [CodeGen_UndefinedVariable]`)

//     + 1 个 warning（`test_error.m:29: warning: 找不到头文件 "nosuchheader.h" [Preprocessor_IncludeNotFound]`），与预期一致。

//     + 1 warning (`test_error.m:29: warning: header "nosuchheader.h" not found [Preprocessor_IncludeNotFound]`), matching the expectation.

#include <nosuchheader.h>
int main() {
    int unusedCount = 5;             // 探针：期望 warning（当前前端产不出）

    // probe: expected warning (the current frontend cannot produce it)

    printf("test_error.m");          // 这一句是正常的

    // this statement is normal

    printf("%d", undefinedValue);    // error：未声明的变量

    // error: undeclared variable

    return 0;
}