[1010] 修复未绑定变量触发建议时解引用 NULL 导致 SIGSEGV (#885)

* [1010] 修复未绑定变量触发建议时解引用 NULL 导致 SIGSEGV

Co-Authored-By: Claude <noreply@anthropic.com>

* [1010] main_names 建议扫描跳过 NULL 槽，修复未绑定变量 SIGSEGV

Co-Authored-By: Claude <noreply@anthropic.com>

* test

---------

Co-authored-by: Claude <noreply@anthropic.com>

Author: Yuki-Nagori

devel/1010.md

@@ -0,0 +1,56 @@
+# [1010] 修复未绑定变量触发建议时解引用 NULL 导致 SIGSEGV
+
+## 任务相关的代码文件
+- `src/s7.c`（`unbound_variable_error_nr` 中 main_names 建议扫描循环）
+
+## 如何测试
+
+### 1. 回归测试（推荐，纳入版本控制）
+
+修复的回归用例已加入 `tests/scheme/s7-test.scm`，覆盖符号长度 20–23（恰好命中 main_names 尾部 NULL 桶）：
+
+```bash
+xmake b goldfish
+bin/gf tests/scheme/s7-test.scm
+```
+
+修复后期望：`*** checks *** : 28 correct, 0 failed.`，退出码 0。
+
+注意：用例把未绑定符号写在**调用运算符位置** `(undefined-symbol-xyz)`，而非裸符号。原因是 s7 进入"perhaps you meant"建议扫描有前置门槛（`unbound_variable_error_nr` 中 `err_code` 为 pair 且 `sym == car(err_code)`），只有调用位置的未绑定符号才会走到那条会解引用 NULL 的建议扫描路径，裸符号测不到这个 bug。
+
+### 2. 手工验证（命令行复现崩溃点）
+
+```bash
+xmake b goldfish
+# 长度 20 的未绑定符号：修复前段错误（exit 139），修复后正常报 ;unbound variable（exit 255）
+bin/gf -e '(undefined-symbol-xyz)'
+```
+
+### 3. 反向验证（确认回归用例有效）
+
+临时移除修复（删掉 `if (main_names[i] == NULL) continue;` 那 4 行），重新构建后跑测试，应观察到进程 SIGSEGV、退出码 139；恢复修复后重新构建，测试重新通过。这证明用例确实守住了该回归点。
+
+## What
+1. 在 `unbound_variable_error_nr` 的 main_names 建议扫描循环里，对 `main_names[i]` 为 NULL 的槽位跳过，不再喂给 `levenshtein`。
+
+## Why
+`unbound_variable_error_nr` 在报"未绑定变量"前，会用 levenshtein 距离在 `main_names` 建议表里找最接近的符号给出"perhaps you meant"提示。建议表按符号长度分桶，靠 `main_names_index[]` 记录每个长度区间的 `[start, end)`：
+
+- `MAIN_NAMES_SIZE` 声明为 443，注释 `443==NULL`；
+- 但 `main_names[]` 实际只填了 **430** 个字符串，索引 430–442 是未显式初始化的 NULL 槽（C 静态数组剩余元素自动置 0）；
+- `main_names_index` 仍按"填满 443"计算，导致长度 **20–23** 的桶区间（如长度 20 的 `[425, 432)`）跨进了那片 NULL 区。
+
+于是对任何长度 20–23 的未绑定符号，循环取到 `main_names[i] == NULL`，`levenshtein(... NULL ...)` 在 `s2[i-1] == s1[j-1]` 处解引用 NULL，整个解释器 SIGSEGV——未绑定变量本应只是可捕获的 scheme 错误，却变成进程级段错误，连报错信息都打不出来。
+
+gdb 实测：`gf -e '(undefined-symbol-xyz)'`（20 字符）崩在 `levenshtein` 解引用 `r11=NULL`，调用方为 `unbound_variable_error_nr`（s7.c:59956），此时 `s2==NULL`、`len2==20`。Mogan STEM 里切换 GUI 主题正是踩中 20 字符的 `set-pretty-preference*` 未绑定，导致整应用崩溃。
+
+> 注：根因是 `main_names` 没填满 + `main_names_index` 未同步。彻底修法是补齐表项或重算索引，但那需要逐项核对 443 个符号的长度分桶，易引入新错。本次先在调用处跳过 NULL——最小、精确、覆盖所有符号长度，把段错误降级回正常报错。
+
+## How
+在 `src/s7.c` 的建议扫描循环（`for (int32_t i = start; i < end; i++)`）开头加一行：
+
+```c
+if (main_names[i] == NULL) continue;
+```
+
+遇到未初始化的 NULL 槽直接跳过，不进入 levenshtein 计算。未绑定变量恢复为正常的 `;unbound variable` 报错，建议功能对其余有效条目照常工作。

src/s7.c

@@ -59953,6 +59953,10 @@ static no_return void unbound_variable_error_nr(s7_scheme *sc, s7_pointer sym)
 #endif
 	    for (int32_t i = start; i < end; i++)
 	      {
+		/* main_names has only 430 entries but main_names_index is sized
+		   for 443, so the length-20..23 buckets run into trailing NULL
+		   slots; skip NULLs to avoid dereferencing them in levenshtein. */
+		if (main_names[i] == NULL) continue;
 		int32_t diff = levenshtein(sc, sym_name, sym_len, main_names[i], sym_len) + 1; /* perhaps same but i+/-1 as well */
 		if (sym_name[0] != main_names[i][0]) diff++;
 		if (diff < min_diff)

tests/scheme/s7-test.scm

@@ -131,4 +131,9 @@
 (check (let? 42) => #f)
 (check (let? 'hello) => #f)
 
+(check-catch 'unbound-variable (undefined-symbol-xyz))
+(check-catch 'unbound-variable (undefined-symbol-xyza))
+(check-catch 'unbound-variable (undefined-symbol-xyzab))
+(check-catch 'unbound-variable (undefined-symbol-xyzabc))
+
 (check-report)