是 Visual C++ 优化器错误还是我的代码中有错误？答案

【问题标题】：Is it a Visual C++ optimizer bug or do I have a bug in my code?是 Visual C++ 优化器错误还是我的代码中有错误？
【发布时间】：2017-07-25 07:37:20
【问题描述】：

我们正在从 VS2013 迁移到 VS2017。

下面是一个可能不是那么简单的代码示例，但它是我能做的最好的。它的要点是一个特定的浮点值被发送到一个函数，但该函数接收到错误的值 - 这是因为调用函数中的寄存器不匹配。

此代码在 VC141 (VS 2017) 和 VC140 (VS 2015) 上不正确运行，但在 VC120 (VS 2013) 和随附的 clang 版本上正确运行内置于 VS 2017（Clang with Microsoft CodeGen (v141_clang_c2) - 无论是兼容 clang 的版本）。

在 Release 中为 x64 平台编译时会出现问题（带有优化）。删除优化时，代码可以正常工作，所以我猜是优化器。当调用test() 时，错误行为在badFunc()。

代码：

#include <iostream>
#include <vector>

struct FloatWrapper
{
    FloatWrapper() : m_value(0) {}
    explicit FloatWrapper(float value) : m_value(value) {}
    float getValue() const { return m_value; }

private:
    float m_value;
};

class Tester
{
public:

    virtual bool test(FloatWrapper elevation) const
    {
        std::cout << "Expected=" << m_expected.getValue() << ", received=" << elevation.getValue() << '\n';
        return elevation.getValue() == m_expected.getValue();
    }

    Tester(FloatWrapper expected) : m_expected(expected)
    {
    }

    FloatWrapper m_expected;

};

struct DataBlock
{
    FloatWrapper a, b;
};

bool badFunc(const Tester& query, std::vector<DataBlock> blocks)
{
    auto block = blocks[0];

    if (!query.test(block.b))
    {
        std::cout << "Tried to send " << block.b.getValue() << '\n';
        return false;
    }

    return true;
}


int main(int argc, const char** argv)
{
    DataBlock block;
    block.b = FloatWrapper(0.2f);

    Tester tester(block.b);

    return badFunc(tester, { block }) ? 0 : 1;
}

编译器命令行：

/GS /GL /W3 /Gy /Zc:wchar_t /Zi /Gm- /O2 /Fd"x64\Release\vc141.pdb" /Zc:inline /fp:precise /D "NDEBUG" /D "_CONSOLE" /D "_UNICODE" /D "UNICODE" /errorReport:prompt /WX- /Zc:forScope /Gd /Oi /MD /Fa"x64\Release\" /EHsc /nologo /Fo"x64\Release\" /Fp"x64\Release\compiler_bug_vc14.pch" /diagnostics:classic

链接器命令行：

/OUT:"x64\Release\compiler_bug_vc14.exe" /MANIFEST /LTCG:incremental /NXCOMPAT /PDB:"x64\Release\compiler_bug_vc14.pdb" /DYNAMICBASE "kernel32.lib" "user32.lib" "gdi32.lib" "winspool.lib" "comdlg32.lib" "advapi32.lib" "shell32.lib" "ole32.lib" "oleaut32.lib" "uuid.lib" "odbc32.lib" "odbccp32.lib" /DEBUG:FULL /MACHINE:X64 /OPT:REF /INCREMENTAL:NO /PGD:"x64\Release\compiler_bug_vc14.pgd" /SUBSYSTEM:CONSOLE /MANIFESTUAC:"level='asInvoker' uiAccess='false'" /ManifestFile:"x64\Release\compiler_bug_vc14.exe.intermediate.manifest" /OPT:ICF /ERRORREPORT:PROMPT /NOLOGO /TLBID:1

【问题讨论】：

这看起来像一个编译器错误。我可以在我的电脑上重现这个。您应该向 Microsoft 报告。
在我看来是个错误，请在 connect.microsoft.com 上报告错误。
打开了一个 MS 连接问题：connect.microsoft.com/VisualStudio/feedback/details/3138251/…
这是中间寄存器舍入问题吗？如果是，我们是否可以认为这真的是一个编译器错误（或者只是一个实施质量问题）？
@MassimilianoJanes 这不是舍入问题，而是在传递值时使用了错误的寄存器。

标签： c++ visual-c++ visual-studio-2017 compiler-bug

【解决方案1】：

答案是肯定的 - 这是一个优化器错误。微软表示他们已修复它，目前（2017 年 9 月 24 日）待发布。

见https://developercommunity.visualstudio.com/content/problem/84976/optimizer-bug-in-vc140141-passing-the-wrong-float.html

【讨论】：