#include "gtest/gtest.h"
#include "src/errors.cpp"
#include <iostream>
#include <csignal>
#include <csetjmp>

// 信号处理工具，用于捕获程序崩溃
static jmp_buf jump_buffer;

void signal_handler(int sig) {
    (void)sig;
    longjmp(jump_buffer, 1);
}

// 测试夹具类
class ErrorsTest : public ::testing::Test {
protected:
    void SetUp() override {
        // 保存旧的信号处理器
        old_sigsegv_handler = std::signal(SIGSEGV, signal_handler);
        old_sigabrt_handler = std::signal(SIGABRT, signal_handler);
    }

    void TearDown() override {
        // 恢复旧的信号处理器
        std::signal(SIGSEGV, old_sigsegv_handler);
        std::signal(SIGABRT, old_sigabrt_handler);
    }

    // 执行一个预期会崩溃的函数，并验证它确实崩溃了
    void ExpectFunctionCrashes(void (*func)()) {
        if (setjmp(jump_buffer) == 0) {
            // 第一次进入，执行预期会崩溃的函数
            func();
            // 如果函数没有崩溃，测试失败
            FAIL() << "Expected function to crash, but it did not.";
        } else {
            // 函数崩溃，被信号处理器跳转回来，测试通过
            SUCCEED();
        }
    }

private:
    using SignalHandler = void (*)(int);
    SignalHandler old_sigsegv_handler;
    SignalHandler old_sigabrt_handler;
};

// 测试 test_null_pointer 函数
TEST_F(ErrorsTest, test_null_pointer_CrashesOnDereference) {
    // 这个函数应该因为解引用空指针而崩溃
    ExpectFunctionCrashes(test_null_pointer);
}

// 测试 test_array_out_of_bounds 函数
TEST_F(ErrorsTest, test_array_out_of_bounds_CrashesOnOutOfBoundsAccess) {
    // 这个函数应该因为数组越界访问而崩溃
    ExpectFunctionCrashes(test_array_out_of_bounds);
}

// 测试 test_uninitialized_var 函数
// 注意：使用未初始化变量的行为是未定义的，它可能崩溃，也可能不崩溃。
// 因此，这个测试只是执行函数，不强制断言其行为。
// 在实际测试中，我们可能使用工具（如 Valgrind, MSAN）来检测此类错误。
TEST_F(ErrorsTest, test_uninitialized_var_UndefinedBehavior) {
    // 由于行为未定义，我们只执行函数，不进行断言。
    // 在启用了未初始化变量检测的构建中，这可能会触发错误。
    test_uninitialized_var();
    // 没有断言，因为行为未定义。
    // 这个测试的存在是为了记录和覆盖这个函数。
}

// 主函数（如果单独编译测试文件需要）
int main(int argc, char **argv) {
    ::testing::InitGoogleTest(&argc, argv);
    return RUN_ALL_TESTS();
}