C3语言编译器在Windows平台下的测试运行器异常问题分析

问题现象

在Windows平台上使用LLVM 18.1.8和最新版C3编译器时，开发者发现测试运行器存在一个奇怪的行为。当项目中包含多个测试用例时，只有第一个测试会被执行，后续测试会被跳过。更令人困惑的是，如果在测试运行结束后添加一个看似无关的打印语句，所有测试就能正常执行。

问题复现

开发者创建了一个简单的测试场景：

1. 使用c3c init foo初始化项目
2. 添加一个加法函数和两个测试用例

fn int add(int a, int b)
{
    return a + b;
}

fn void test_fn1() @test
{
    assert(add(1, 1) == 2);
}

fn void test_fn2() @test
{
    assert(add(1, 2) == 3);
}

执行c3c test时，只有第一个测试会被执行。而如果注释掉第二个测试，或者修改测试运行器代码添加一个空打印语句，所有测试就能正常执行。

技术分析

这个问题与Windows平台下setjmp和longjmp函数的实现特性有关。在C3语言的测试框架中，setjmp用于捕获测试失败时的异常状态，而longjmp用于跳转回测试运行器继续执行下一个测试。

Windows平台的setjmp实现与其他平台有以下关键差异：

1. 环境保存不完整：Windows的setjmp可能不会完整保存所有寄存器状态
2. 栈帧处理差异：Windows对栈帧的处理方式可能导致控制流恢复时出现问题
3. 信号处理影响：某些平台特定的信号处理可能干扰longjmp后的执行

添加打印语句之所以能"修复"问题，是因为它改变了函数的栈布局和寄存器使用情况，无意中避免了某些未定义行为。

解决方案

C3编译器团队通过以下方式解决了这个问题：

1. 修改了Windows平台特定的setjmp/longjmp实现
2. 确保测试运行器能正确处理环境恢复
3. 优化了测试框架的异常处理流程

平台差异说明

这个问题在Linux平台上不会出现，主要是因为：

1. Linux的setjmp实现更符合POSIX标准
2. 不同操作系统对异常处理的支持程度不同
3. 编译器在不同平台上的代码生成策略有差异

最佳实践建议

对于跨平台开发的开发者，建议：

1. 谨慎使用setjmp/longjmp这类非局部跳转
2. 在不同平台上充分测试异常处理逻辑
3. 考虑使用更现代的异常处理机制替代传统方法

这个问题展示了跨平台开发中可能遇到的微妙差异，也体现了C3编译器团队对平台兼容性的重视。通过修复这类底层问题，C3语言在不同平台上的行为将更加一致可靠。