为何含goto且标签aa被优化时，void *p = &&aa;仍可编译？

这不是GCC的bug，是编译器优化逻辑和该扩展特性结合后的正常表现。

核心原因分析 #

• 当代码中存在goto end时，编译器的控制流分析会发现：标签aa后续的代码永远不会被执行（执行流直接跳转到end，完全绕过aa的代码块），因此会触发死代码消除优化，将aa对应的代码段移除。
• 但GCC的Labels-as-Values扩展有明确规则：只要代码中声明了标签（哪怕标签关联的代码被优化移除），&&标签名的表达式必须合法。因为标签本身是编译期可见的符号，即便代码被消除，符号依然存在，只是它指向的地址会被编译器调整为后续第一个有效执行入口（比如end标签的地址，或是函数末尾的返回点）。

实际代码验证 #

比如这段示例代码：

#include <stdio.h>

int main() {
    void *p = &&aa;
    goto end;

aa:
    printf("This is aa\n");
end:
    printf("p points to: %p\n", p);
    return 0;
}

用-O2优化编译时，aa后的printf会被彻底移除，但&&aa仍能正常编译，此时打印出的p地址会和&&end的地址一致——编译器直接将aa的符号重定向到了下一个有效执行点。

而当你注释掉goto end后，aa对应的代码变为可达代码，编译器不会进行死代码消除，此时&&aa自然指向aa标签的实际代码地址。

GCC扩展文档的相关说明 #

GCC的Labels-as-Values扩展文档中明确提到：标签地址属于void*类型，只要标签被声明，即便其关联的代码块被优化消除，&&标签名表达式依然合法。编译器会保证符号存在，只是地址可能指向最近的后续有效执行入口，这完全符合该扩展的设计逻辑。

内容的提问来源于stack exchange，提问作者吃花椒的喵酱