UEFI文件读取异常：删除无用代码后程序停止执行求助

问题原因 #

你遇到的情况是编译器优化导致栈布局异常：

• 当注释掉char c = *buf;后，buf数组变成未被使用的变量，编译器（尤其是开启优化时）会直接优化掉这个数组的栈空间分配。
• 栈空间布局被改变后，后续的status变量或者uefi_call_wrapper调用的栈参数位置被破坏，导致Print无法正常执行，甚至程序崩溃。
• 另外，UEFI环境对栈的对齐要求严格（通常为16字节对齐），变长数组char buf[bufsz]本身存在对齐隐患，加上优化后更易触发问题。

解决办法 #

方法1：强制保留buf的使用 #

不用删除那行代码，或者换一种无业务逻辑的方式让编译器认为buf被使用：

(void)*buf; // 仅阻止编译器优化，无实际功能

方法2：避免使用变长数组（推荐） #

UEFI环境下栈空间有限，变长数组的内存管理不够可靠，改用UEFI提供的动态内存分配：

// 替换原有的char buf[bufsz];
char *buf = NULL;
EFI_STATUS alloc_status = uefi_call_wrapper(BS->AllocatePool, 3, EfiLoaderData, bufsz, (void**)&buf);
if (EFI_ERROR(alloc_status)) {
    Print(L"内存分配失败: %d\n", alloc_status);
    for (;;);
}

// 读取文件
EFI_STATUS status = uefi_call_wrapper(filehandle->Read, 3, filehandle, &bufsz, buf);

// 使用完后释放内存
uefi_call_wrapper(BS->FreePool, 1, buf);

方法3：禁用局部优化 #

给buf添加属性，强制编译器保留该变量：

char buf[bufsz] __attribute__((used));

额外注意事项 #

建议给openfile和getvolume添加错误处理，避免空指针调用导致崩溃：

if (!vol) {
    Print(L"获取卷失败\n");
    for (;;);
}
if (!filehandle) {
    Print(L"打开kernel.elf失败\n");
    for (;;);
}

内容的提问来源于stack exchange，提问作者runningupthatroad