如何在自定义错误处理器场景下消除GCC的「control reaches end of non-void function」警告？

你的问题本质是GCC无法判断handle_error()调用后程序不会继续执行，因此认为函数可能走到末尾却没有返回值，触发警告。以下是几种实用的解决方式：

方法1：在错误处理后添加“死代码”返回语句 #

既然handle_error()会调用exit(1)终止程序，在它后面加一个对应返回类型的语句（永远不会执行），就能让编译器看到明确的返回路径：

修改open_a_file()：

static int open_a_file(void) {
    int fd = open("non-existent", 0);
    switch (fd) {
        default: return 0;
        case -1: 
            handle_error("something happened");
            return -1; // 永远不会执行，仅用于消除警告
    }
}

修改attr_name()：

static const char *attr_name(uint16_t type) {
    switch (type) {
        case ATTR_MAPPED_ADDRESS:      return "MAPPED-ADDRESS";
        case ATTR_XOR_MAPPED_ADDRESS:  return "XOR-MAPPED-ADDRESS";
        case ATTR_SOFTWARE:            return "SOFTWARE";
        case ATTR_FINGERPRINT:         return "FINGERPRINT";
        case ATTR_RESPONSE_ORIGIN:     return "RESPONSE-ORIGIN";
        default: 
            handle_error("attr_name: unknown attr type (0x%02x)", type);
            return NULL; // 永远不会执行，仅用于消除警告
    }
}

方法2：给handle_error()添加noreturn属性（推荐） #

直接告诉编译器handle_error()是不会返回的函数，这样编译器就知道调用它之后不会继续执行，自然不会触发警告。这是最优雅的方式，不需要在每个调用点加冗余代码：

修改handle_error()的声明：

static __attribute__((noreturn)) void handle_error(const char* fmt, ...) {
    va_list args;
    va_start(args, fmt);
    fprintf(stderr, "%s: ", invocation_name);
    vfprintf(stderr, fmt, args);
    puts("");
    va_end(args);
    exit(1);
}

__attribute__((noreturn))是GCC的扩展属性，如果你需要兼容C标准，可以用C11引入的_Noreturn关键字（需要包含<stdnoreturn.h>）：

#include <stdnoreturn.h>

static noreturn void handle_error(const char* fmt, ...) {
    // 函数体不变
}

方法3：使用__builtin_unreachable()标记不可达路径 #

在handle_error()调用后添加__builtin_unreachable()，告诉编译器该位置之后的代码永远不会执行，这也是GCC的扩展：

修改attr_name()：

static const char *attr_name(uint16_t type) {
    switch (type) {
        // 各个case分支...
        default: 
            handle_error("attr_name: unknown attr type (0x%02x)", type);
            __builtin_unreachable();
    }
}

注意这种方式只适合单个调用点，不如方法2通用，除非你不想修改handle_error()的声明。

内容的提问来源于stack exchange，提问作者x-yuri