为何同一for循环在GCC单步/多步编译下表现不同？

问题详情 #

编写Vulkan验证层检查函数时，误将控制循环范围的两个变量互换，但两种构建方式下函数返回结果完全不同：

• 单步编译链接（命令：gcc $(CFLAGS) -o $(BIN_DIR)/$(NAME) $(SRC_DIR)/*.c $(LDFLAGS)）：函数返回true
• 多步构建（先编译为目标文件再链接）：函数返回预期的false

两种构建使用完全相同的编译参数：

• CFLAGS：-std=c17 -Wall -Wextra -Wno-unused-parameter -Werror=return-type -pthread -g -O0
• LDFLAGS：-lc -lm -lglfw -lvulkan -ldl -lpthread -lX11 -lXxf86vm -lXrandr -lXi -lcglm

且在干净构建环境下重复测试，该现象稳定复现。

错误代码（循环变量互换） #

const char* validationLayers[] = {
    "VK_LAYER_KHRONOS_validation",
};
const uint32_t LAYER_COUNT = (sizeof(validationLayers) / sizeof(validationLayers[0]));

...

bool checkValidationLayerSupport() {
    uint32_t layerCount;
    vkEnumerateInstanceLayerProperties(&layerCount, NULL);

    VkLayerProperties availableLayers[layerCount];
    vkEnumerateInstanceLayerProperties(&layerCount, availableLayers);

    const char* layerName;
    for (uint32_t i = 0; i < layerCount; i++) {
        layerName = validationLayers[i];
        bool layerFound = false;

        VkLayerProperties layerProperties;
        for (uint32_t j = 0; j < LAYER_COUNT; j++) {
            layerProperties = availableLayers[j];
            if (strcmp(layerName, layerProperties.layerName) == 0) {
                layerFound = true;
                break;
            }
        }

        if (!layerFound) {
            return false;
        }
    }

    return true;
}

修正后的代码 #

const char* validationLayers[] = {
    "VK_LAYER_KHRONOS_validation",
};
const uint32_t LAYER_COUNT = (sizeof(validationLayers) / sizeof(validationLayers[0]));

...

bool checkValidationLayerSupport() {
    uint32_t layerCount;
    vkEnumerateInstanceLayerProperties(&layerCount, NULL);

    VkLayerProperties availableLayers[layerCount];
    vkEnumerateInstanceLayerProperties(&layerCount, availableLayers);

    const char* layerName;
    for (uint32_t i = 0; i < LAYER_COUNT; i++) {
        layerName = validationLayers[i];
        bool layerFound = false;

        VkLayerProperties layerProperties;
        for (uint32_t j = 0; j < layerCount; j++) {
            layerProperties = availableLayers[j];
            if (strcmp(layerName, layerProperties.layerName) == 0) {
                layerFound = true;
                break;
            }
        }

        if (!layerFound) {
            return false;
        }
    }

    return true;
}

关键差异 #

错误代码的核心问题是循环范围变量完全颠倒：

• 外层循环错误遍历系统可用验证层数量（layerCount），而非需要检查的自定义验证层数量（LAYER_COUNT），会导致数组越界访问
• 内层循环仅遍历自定义验证层数量（LAYER_COUNT），而非全部可用验证层，无法完成完整检查

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