c - C 编译器优化局部静态变量是否合法？

Question

对于像这样的函数

int test(void) {
  static int x = 0;
  x++;
  return 0;
}

是否允许 C 编译器优化 x？

作为引用，GCC 6.3.0 或 Clang 3.9 都没有优化使用 -O3 递增的 x。

Answer 1

编译器有权完全优化这个函数，因为它没有可观察到的副作用(从 C 标准的角度来看)。

至于为什么你的编译器不这样做，我无法解释! (当然，他们没有义务这样做。)