Windows下Clang编译器未正确报告浮点异常求助

问题描述 #

在Windows系统中使用Clang编译以下C++代码时，预期触发FE_DIVBYZERO（除零）和FE_INVALID（无效操作）浮点异常标志，但实际仅FE_INEXACT（不精确结果）被正确检测到，其余两个标志未触发。

测试代码 #

#include <cfenv>
#include <cmath>
#include <iostream>
 
int main()
{
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout <<  "1.0/0.0 = " << 1.0 / 0.0 << '\n';
    if (std::fetestexcept(FE_DIVBYZERO))
        std::cout << "division by zero reported\n";
    else
        std::cout << "division by zero not reported\n";
 
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "1.0/10.0 = " << 1.0 / 10.0 << '\n';
    if (std::fetestexcept(FE_INEXACT))
        std::cout << "inexact result reported\n";
    else
        std::cout << "inexact result not reported\n";
 
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "sqrt(-1) = " << std::sqrt(-1) << '\n';
    if (std::fetestexcept(FE_INVALID))
        std::cout << "invalid result reported\n";
    else
        std::cout << "invalid result not reported\n";
}

实际运行输出 #

1.0/0.0 = inf
division by zero not reported
1.0/10 = 0.1
inexact result reported
sqrt(-1) = nan
invalid result not reported

原因分析 #

Windows平台默认的浮点控制字会屏蔽FE_DIVBYZERO和FE_INVALID等异常的标志记录，而标准库<cfenv>的功能依赖底层CRT（C运行时）的实现。当Clang配合MSVC CRT使用时，std::fetestexcept无法检测到被屏蔽的异常标志。

解决方法 #

通过Windows平台提供的_controlfp_s函数修改浮点控制字，清除对应异常的屏蔽位，允许标志被正确设置：

修改后的代码 #

#include <cfenv>
#include <cmath>
#include <iostream>
#include <float.h> // 引入Windows浮点控制相关函数

int main()
{
    unsigned int old_cw;
    // 清除除法零、无效操作的异常屏蔽位，允许标志记录
    // _MCW_EM 指定仅修改异常掩码部分
    _controlfp_s(&old_cw, ~(_EM_DIVBYZERO | _EM_INVALID), _MCW_EM);

    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout <<  "1.0/0.0 = " << 1.0 / 0.0 << '\n';
    if (std::fetestexcept(FE_DIVBYZERO))
        std::cout << "division by zero reported\n";
    else
        std::cout << "division by zero not reported\n";
 
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "1.0/10.0 = " << 1.0 / 10.0 << '\n';
    if (std::fetestexcept(FE_INEXACT))
        std::cout << "inexact result reported\n";
    else
        std::cout << "inexact result not reported\n";
 
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "sqrt(-1) = " << std::sqrt(-1) << '\n';
    if (std::fetestexcept(FE_INVALID))
        std::cout << "invalid result reported\n";
    else
        std::cout << "invalid result not reported\n";
}

编译与运行 #

使用Clang编译时，直接执行以下命令即可：

clang++ your_code.cpp -o output.exe

运行修改后的程序，FE_DIVBYZERO和FE_INVALID标志将被正确检测到。

内容的提问来源于stack exchange，提问作者Harry