C3语言测试运行器中的内存分配器问题分析与修复

在C3语言编译器项目中，测试框架是保证代码质量的重要工具。最近发现了一个与内存分配器相关的测试运行器问题，值得深入分析。

问题现象

当测试用例失败时，测试运行器会错误地报告内存分配问题。例如一个简单的断言失败测试：

fn void test_init_lsp_proj()
{
    test::eq(1, 0);
}

本应只报告断言失败，但却额外输出了内存分配错误：

ERROR: 'Attempt to release untracked pointer 0x556081a992a0, this is likely a bug.'

根本原因分析

通过调试发现，问题出在测试运行器的内存管理机制上：

1. 测试运行器使用了跟踪分配器(TrackingAllocator)来检测内存泄漏
2. 测试失败时通过longjmp跳转退出，打断了正常的资源释放流程
3. 命令行参数转换的字符串列表(list)在defer中释放时，分配器状态已不一致

具体来说，args_to_strings使用默认分配器分配内存，但defer free执行时当前分配器已切换为跟踪分配器，导致释放时出现"释放未跟踪指针"的错误。

解决方案

修复方案包含以下几个关键点：

1. 重构测试运行器的内存管理机制，避免使用与longjmp不兼容的defer
2. 确保测试前后的分配器状态一致性
3. 正确处理不同分配器分配的内存释放

此外还修复了相关的问题：

• 测试禁用排序参数名称不一致的问题
• 对齐内存分配与释放的跟踪问题

技术启示

这个案例给我们几个重要的技术启示：

1. 内存分配器的切换需要谨慎处理，特别是与异常处理机制结合时
2. 测试框架的资源管理需要与测试用例的失败处理机制协调
3. 长期来看，考虑更健壮的内存管理抽象可能是有益的

通过这次修复，C3测试框架的稳定性和可靠性得到了提升，为后续开发奠定了更好的基础。