问创建一个总是返回零的函数，但是优化器不知道

EN

我想创建一个总是返回零的函数，但这一事实对于优化器来说不应该是显而易见的，这样使用该值的后续计算就不会因为“已知零”状态而不断折叠。

在缺乏链接时间优化的情况下，通常只需将此代码放入其自己的编译单元：

int zero() {
  return 0;
}

优化器不能看到所有的单元，所以这个函数始终为零的特性不会被发现。

然而，我需要一些与LTO和尽可能多的未来智能优化工作的东西。我考虑读一篇全球版的文章：

int x;

int zero() {
  return x;
}

..。但在我看来，一个足够聪明的编译器可以注意到x永远不会被写入，并且仍然决定zero()始终为零。

我考虑过使用volatile，比如：

int zero() {
  volatile int x = 0;
  return x;
}

..。但是，易失性读取所需副作用的实际语义并不完全清楚，并且似乎不排除函数仍然返回零的可能性。

这种始终为零但在编译时不为零的值在几种情况下都很有用，例如强制两个值之间存在无操作依赖关系。例如：a += b & zero()使a在最终的二进制文件中依赖于b，但不会更改a的值。

不要通过告诉我“标准不能保证任何方式来做到这一点”来回答这个问题--我很清楚，我正在寻找一个实用的答案，而不是标准中的语言。