feraiseexcept：编译器之间的不同行为以及缺乏实现定义行为的文档

如何解决feraiseexcept：编译器之间的不同行为以及缺乏实现定义行为的文档

示例代码（t91.c）：

#include <stdio.h>
#include <fenv.h>

#if _MSC_VER
#pragma fenv_access (on)
#else
#pragma STDC FENV_ACCESS ON
#endif

void show_fe_exceptions(void)
{
    printf("exceptions raised:");
    if(fetestexcept(FE_DIVBYZERO)) printf(" FE_DIVBYZERO");
    if(fetestexcept(FE_INEXACT)) printf(" FE_INEXACT");
    if(fetestexcept(FE_INVALID)) printf(" FE_INVALID");
    if(fetestexcept(FE_OVERFLOW)) printf(" FE_OVERFLOW");
    if(fetestexcept(FE_UNDERFLOW)) printf(" FE_UNDERFLOW");
    if(fetestexcept(FE_ALL_EXCEPT)==0) printf(" none");
    printf("\n");
}
int main(void)
{
    feraiseexcept(FE_OVERFLOW);
    show_fe_exceptions();
    return 0;
}

调用：

$ clang t91.c -Wall -Wextra -pedantic && ./a.exe
t91.c:7:14: warning: pragma STDC FENV_ACCESS ON is not supported,ignoring pragma [-WunkNown-pragmas]
#pragma STDC FENV_ACCESS ON
             ^
1 warning generated.
exceptions raised: FE_OVERFLOW

$ gcc t91.c -Wall -Wextra -pedantic && ./a.exe
t91.c:7: warning: ignoring ‘#pragma STDC FENV_ACCESS’ [-WunkNown-pragmas]
    7 | #pragma STDC FENV_ACCESS ON
      |
exceptions raised: FE_OVERFLOW

$ cl t91.c /fp:strict && t91
exceptions raised: FE_INEXACT FE_OVERFLOW

ISO/IEC 9899:2011 (E)：

7.6.2.2 fegetexceptflag 函数

feraiseexcept 函数是否在引发“溢出”或“下溢”浮点异常时额外引发“不精确”浮点异常是实现定义的。

但是，documentation for gcc 和 documentation for Microsoft C 没有（或者我找不到）记录 feraiseexcept 函数的确切行为。请注意，Clang/LLVM documents its implementation-defined behavior 直接通过 source code.

此外，符合 ISO C 的实施应随附一份文件，该文件定义了所有实施定义的和特定于区域设置的特征以及所有扩展（ISO/IEC 9899:2011 (E)，第 4 节第 8 段） ).

问题（终于！）：为什么 C 实现没有记录所有实现定义的特征/行为？

更新。是的，GCC 的手册 says wrt Library Functions：这些点的大部分行为都依赖于 C 库的实现，而不是由 GCC 本身定义。因此，我们必须查看 glibc 的 feraiseexcept implementation（这是 weak_alias 的 __feraiseexcept）。