setjmp 和 GCC 的合法用途

Question

使用 GCC（对我来说是 4.0）是合法的：

if(__builtin_expect(setjmp(buf) != 0, 1))
  {
    // handle error
  }
else
  {
    // do action
  }

我发现一个讨论说它在 2003 年给 GCC 带来了一个问题，但我想他们现在应该已经修复了它。 C 标准规定，使用 setjmp 是非法的，除非它是四个条件之一，相关的条件如下：

• 关系运算符或相等运算符的一个操作数，另一个操作数是整数常量表达式，结果表达式是选择或迭代语句的整个控制表达式；

但如果这是一个 GCC 扩展，我能保证它可以在 GCC 下工作吗，因为它已经是非标准功能了？我测试了它，它似乎有效，尽管我不知道我需要做多少测试才能真正打破它。 （我将对 __builtin_expect 的调用隐藏在宏后面，该宏被定义为非 GCC 的无操作，因此对于其他编译器来说这是完全合法的。）

Answer 1

我认为该标准所讨论的是考虑执行以下操作：

int x = printf("howdy");
if (setjmp(buf) != x ) {
    function_that_might_call_longjmp_with_x(buf, x);
} else {
    do_something_about_them_errors();
}

在这种情况下，您不能再依赖 x 拥有在上一行中分配的值。编译器可能已经移动了 x 所在的位置（重用它所在的寄存器，或者其他东西），因此进行比较的代码将在错误的位置查找。 （您可以将 x 保存到另一个变量，然后在调用函数之前将 x 重新分配给其他变量，这可能会使问题更加明显）

在您的代码中，您可以编写 我认为

int conditional;
conditional = setjump(buf) != 0 ;
if(__builtin_expect( conditional, 1)) {
    // handle error
} else {
    // do action
}

我们可以满足自己的要求，即分配变量 conditional 的代码行满足该要求。

Answer 2

但如果这是一个 GCC 扩展，我能保证它可以在 GCC 下工作吗，因为它已经是非标准功能了？我测试了它，它似乎有效，尽管我不知道我需要做多少测试才能真正打破它。 （我将对 __builtin_expect 的调用隐藏在宏后面，该宏被定义为非 GCC 的无操作，因此对于其他编译器来说这是完全合法的。）

你是对的， __builtin_expect 应该是其他编译器的宏无操作，因此结果仍然是定义的。