Clang 15+开启-O3优化时强制转换压缩结构体引发无限循环

首先看你提供的代码：

#include <cstdio>
#include <cstdint>

struct GenericInterface
{
    uint8_t size;
} __attribute__((packed));

struct SpecificInterface
{
    uint8_t size;
    uint8_t setting;
} __attribute__((packed));

int main()
{
    uint8_t setting = 5;
    uint8_t size = (uint8_t)sizeof(SpecificInterface);
    SpecificInterface specific { size, setting };

    GenericInterface* generic = (GenericInterface*)&specific;
    GenericInterface* genericEnd = (GenericInterface*)((uint8_t*)generic + size);

    printf("Starts off %u\n", generic->size);
    while (generic < genericEnd)
    {
        printf("Checking %u\n", generic->size);
        if (generic->size == size)
            break;
        generic = (GenericInterface*)((uint8_t*)generic + generic->size);
    }

    printf("Done\n");

    return 0;
}

你的代码存在两处明确的未定义行为，这才是Clang 15+开启-O3时出现异常的根本原因，而非编译器优化bug：

1. 违反严格别名规则 #

C++标准规定，除非是char/unsigned char类型，否则不能通过一种类型的指针访问另一种无关类型的对象。你将SpecificInterface*强制转换为GenericInterface*并访问其size成员——尽管两个结构体的首成员类型相同，但它们属于完全不同的无关类型，这种跨类型访问直接触发了未定义行为。

在-O3优化级别下，Clang 15+会基于“代码遵循严格别名规则”的假设进行激进优化，比如认为generic->size的值不会被其他类型的操作修改，进而优化掉部分逻辑，最终导致循环无法正常终止。

2. 非法指针比较与越界访问 #

代码中genericEnd的计算方式为(GenericInterface*)((uint8_t*)generic + size)，其中size等于sizeof(SpecificInterface)（值为2）。初始状态下，generic指向specific的起始地址，genericEnd则指向specific对象末尾之后1字节的位置——这是一个超出specific对象范围的GenericInterface指针。

C++标准仅允许比较指向**同一数组（或单个对象视为单元素数组）**的指针，比较超出对象范围的指针属于未定义行为。编译器在优化时可能会忽略这种非法比较的终止条件，导致循环无限执行。

关于“正常运行”场景的说明 #

你提到的几种能正常运行的情况（Clang 14、GCC、无优化、添加volatile），本质是编译器未启用激进优化，或者volatile强制编译器每次从内存读取值，暂时掩盖了未定义行为的表现，但这并不代表代码是合法的。未定义行为的表现完全不可预测，不同编译环境下的结果差异正是这一特性的体现。

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