为什么这会产生“可能被破坏......”警告？

Question

我试图理解为什么以下代码会生成“参数可能被破坏..”警告。这是一个最小的示例：

#include <unistd.h>

extern char ** environ;

int test_vfork(char **args, char **newEnviron)
{
    pid_t pid = vfork();
    if (pid == 0) {
        execve(args[0], args, (newEnviron != NULL)? newEnviron : environ);
    }

    return 0;
}

这是输出（这是 gcc 4.3.3）：

$ gcc -O2 -Wclobbered -c test.c -o test.o
test.c: In function ‘test_vfork’:
test.c:5: warning: argument ‘newEnviron’ might be clobbered by ‘longjmp’ or ‘vfork’

我还发现，如果我将 execve 行替换为以下内容，警告就会消失：

    if (newEnviron != NULL)
        execve(commandLine[0], commandLine, newEnviron);
    else
        execve(commandLine[0], commandLine, environ);

不知道为什么 gcc 比原来更喜欢这个。有人能解释一下吗？

Answer 1

来自 C99 的 longjmp 描述：

All accessible objects have values, and all other components of the abstract
machine218) have state, as of the time the longjmp function was called, except
that the values of objects of automatic storage duration that are local to the
function containing the invocation of the corresponding setjmp macro that do not
have volatile-qualified type and have been changed between the setjmp invocation
and longjmp call are indeterminate.

如果您将 newEnviron 设为 volatile 对象，则此段落表明 newEnviron 不会被 longjmp 破坏. vfork 的规范或实现可能有类似的警告。

--编辑--

因为您启用了优化并且因为 newEnviron 是非volatile 并且因为它在三元条件运算符中使用后不会被访问，所以实现可以执行一种优化对于您的条件运算符，实际上是用 environ 的值重新分配 newEnviron。比如：

execve(args[0], args, (newEnviron = newEnviron ? newEnviron : environ));

但我们从 vfork 的手册中知道，在 execve 之前修改大多数对象会导致未定义的行为。

args 不会受到同样的担忧，因为没有这样的条件测试。

您的 if 语句有更多的序列点，除此之外，可能不像优化机会那样容易被识别。但是，我猜测序列点在优化中起着重要作用。

顺便说一句，优化是 newEnviron 的存储被重新用于条件运算符的结果，这意味着既不使用另一个寄存器（如果通常使用寄存器）也不额外的堆栈- 需要空间（对于使用堆栈的系统）。

我敢打赌，如果您能够说服 gcc 您需要在 execve 行之后访问 newEnviron 的值，无法进行优化，您的警告将消失。

当然，使用 volatile 也是一个简单的解决方案。