能否为循环添加类似__attribute__((noreturn))的编译器属性？（Clang/GCC）

Clang 和 GCC 目前都没有提供类似 __attribute__((noreturn)) 的专门针对循环的属性（比如你设想的 loopsnoreturn），无法直接通过属性标记来强制循环内不能出现 return 语句。不过可以通过以下方式实现类似的编译时检查效果：

1. 启用特定警告并转为错误 #

利用编译器的警告机制，将检测提前返回的警告转为错误，从而拦截循环内的 return：

• GCC：使用 -Werror=return-type 配合静态分析选项（如 -fanalyzer），后者能更精准检测函数内的提前返回行为，当循环内出现直接返回函数的 return 时会触发警告并转为错误。
• Clang：启用 -Werror=unreachable-code，若循环在 return 后还有未执行的代码，编译器会判定为不可达并报错；另外搭配 Clang 静态分析工具（clang-analyzer），能更细致地识别这类不符合预期的提前返回。

示例编译命令（Clang）：

clang -Werror=unreachable-code -fanalyzer your_source.c

2. 封装循环体逻辑 #

将循环内的代码封装到一个独立的 void 类型函数中，同时启用 -Werror=return-type。如果该函数内出现带返回值的 return（比如 return 0;），编译器会直接报错；若只是 return;（无返回值），则需要结合 -Werror=unused-value 等选项进一步限制，确保循环体函数不会提前退出。

示例代码：

#include <stdio.h>

void loop_body(int i) {
    if (i == 5) return 0; // 这里会触发 -Werror=return-type 错误
    printf("%d\n", i);
}

int main() {
    for (int i = 0; i < 12; i++) {
        loop_body(i);
    }
    return 0;
}

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