c - 如何向 GCC 提示某行在编译时不可达？

Question

编译器通常会提供一个 switch to warn when code is unreachable .我还看到了一些库的宏，它们提供 assertions for unreachable code .

是否有提示，例如通过 pragma 或我可以传递给 GCC(或与此相关的任何其他编译器)的内置函数，如果确定一行预期无法到达实际上可以到达吗？

这是一个例子:

    if (!conf->devpath) {
        conf->devpath = arg;
        return 0;
    } // pass other opts into fuse
    else {
        return 1;
    }
    UNREACHABLE_LINE();

此方法的值(value)在于，在条件发生变化超过预期的不可到达线之后，检测该线实际上是可到达的。

Answer 1

gcc 4.5 支持 __builtin_unreachable()内联编译器，将其与 -Wunreachable-code 结合使用可能会执行您想要的操作，但可能会导致虚假警告