是否允许编译器对本地volatile进行常量折叠？

Question

请考虑以下简单代码：

void g();

void foo()
{
    volatile bool x = false;
    if (x)
        g();
}

https://godbolt.org/z/i2kby7

您可以看到gcc和clang都没有优化对g的潜在调用。在我的理解中，这是正确的：抽象机器假设volatile变量随时可能发生变化（例如，由于是硬件映射的），因此将false初始化常数折叠为iff检查将是错误的。

>

这里讨论了消除对volatile的读写操作：允许编译器优化本地volatile变量吗？（谢谢内森！）。我认为标准是非常清楚的，那些读写必须发生。但是这些讨论并不包括编译器将读取结果视为理所当然并基于此进行优化是否合法。我想这在标准中是不足/没有规定的，但如果有人证明我错了，我会很高兴的。

当然，我可以让x成为一个非局部变量来回避这个问题。这个问题更多是出于好奇。

Answer 1

我认为[intro.execution]（段落号vary）可以用来解释MSVC行为：

具有自动存储持续时间的每个对象的实例与其块中的每个条目相关联。这样的对象在执行块期间和块挂起期间存在并保留其最后存储的值...

该标准不允许消除对volatile glvalue的读取，但上面的段落可以解释为允许预测值false。

不清楚C内存/对象模型中是否有一个非显式存储到具有自动存储持续时间的对象中。