_selftest/test_error.kt · 3659 字节 · 下载原文

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

// test_error.kt -- 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),

//   下面的 unusedCount 是**刻意留的探针**：前端哪天补上未使用诊断，它会立刻现形。

//   the unusedCount below is a **deliberately kept probe**: the day the frontend adds unused diagnostics, it will show up at once.

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

// ⚠ Unlike js / lua, this frontend **does** check undeclared variables -- it goes through the shared diagnostic channel `ReportUndefined`

//   （KotlinCompiler/CodeGenerator.cs:319），故诊断码与列号都齐。

//   (KotlinCompiler/CodeGenerator.cs:319), so both the diag-code and the column are present.

// ✅ 2026-10-04 复验仍成立：产出 1 warning（`Preprocessor_IncludeNotFound`，报在 `#include <nosuchheader.h>` 那一行）+ 1 error

// ✅ Re-verified 2026-10-04, still holds: yields 1 warning (`Preprocessor_IncludeNotFound`, reported at the `#include <nosuchheader.h>` line) + 1 error

//    （`CodeGen_UndefinedVariable`，报在 `undefinedValue` 那一行，带诊断码）；未使用变量仍不产 warning（`WarnUnused` 仍只有 CCompiler 在调）。

//    (`CodeGen_UndefinedVariable`, at the `undefinedValue` line, with a diag-code); unused variables still produce no warning (`WarnUnused` is still called only by CCompiler).

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

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

    println_str("test_error.kt")   // 这一句是正常的

    // this statement is normal

    println_int(undefinedValue)    // error：未声明的变量

    // error: undeclared variable

}