我们正在从VS2013迁移到VS2017。它是一个Visual C++优化器错误还是我的代码中有一个错误?
下面是一个可能不是最简单的代码示例,但它是我能做的最好的。 它的要点是一个特定的浮点值被发送到一个函数,但函数接收到错误的值 - 这是因为调用函数中的寄存器不匹配。
此代码运行错误上VC141(VS 2017)和VC140(VS 2015年),但对VC120(VS 2013)正确运行和在其已内置在VS 2017年(铛与微软铛版本CodeGen(v141_clang_c2) - 无论它是什么铿锵兼容的版本)。
此问题在为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。 –
看起来像是一个bug,报告[connect.microsoft.com](https://connect.microsoft.com/VisualStudio)上的错误。 –
打开MS连接问题:https://connect.microsoft.com/VisualStudio/feedback/details/3138251/optimizer-bug-in-vc140-141-passing-the-wrong-float-value-to-a-function – Asaf