如果在这些写入之后没有代码，为什么C ++编译器只会消除无用的写入？

Question

我正在检查Visual C ++ 10优化功能，并发现了一个相当奇怪的事情。 这里的所有代码都是用/ O2编译的。

在以下代码中：

int _tmain(int argc, _TCHAR* argv[])
{
    char buffer[1024] = {};
    MessageBoxA( 0, buffer, buffer, 0 );
    memset( buffer, 0, sizeof( buffer ) );
    return 0;
}

在return之前调用memset()从机器代码中消除（我检查反汇编）。 这是完全合理的 - 如果之后没有从buffer读取，则memset()是无用的，如果开发人员真的想要覆盖缓冲区，则可以使用SecureZeroMemory()代替。

但是在以下代码中：

int _tmain(int argc, _TCHAR* argv[])
{
    char buffer[1024] = {};
    MessageBoxA( 0, buffer, buffer, 0 );
    memset( buffer, 0, sizeof( buffer ) );
    Sleep( 0 ); //<<<<<<<<<<<<<<<<<<<<<<<<<<< Extra code
    return 0;
}

对memset()的调用没有被消除。 该调用对观察到的行为没有影响，可以像在第一个片段中一样被消除。

这可能是一个编译器缺陷，或者它可能在某种程度上有用 - 我无法决定。

为什么可以在为第二个片段发出的机器代码中留下memset()调用有用？

Answer 1

编译器可能无法判断MessageBoxA是否为buffer创建了一个别名，然后稍后由Sleep使用。 因此它没有通过“as-if”检查。

Answer 2

编译器可以查看memset的内容并确定它的作用。 Sleep()是一个与内核交互的系统调用，其行为取决于代码运行的Windows版本; 包括尚未实现的Windows版本的可能性。 编译器根本无法知道函数将执行什么操作，因此无法围绕它进行优化。

MessageBox ，令我惊讶的是，在第一个版本中删除了memset 。

可以肯定的是，对memset的调用在任何当前或未来版本的Windows上都不会出现问题，但这不是我希望编译器试图猜测的。