在 Windows / msvc 上 clang：为什么在 FE_UPWARD printf("%.1f\n", 0.0) 下打印 0.1 而不是 0.0？

Question

示例代码（t928.c）：

#include <stdio.h>
#include <fenv.h>
#if _MSC_VER && ! __clang__
#pragma fenv_access     (on)
#else
#pragma STDC    FENV_ACCESS ON
#endif

int main(void)
{
        int i = fesetround( FE_UPWARD );
        if ( ! i )
        {
                printf( "%.1f\n", 0.0 );
        }
        return 0;
}

调用：

$ clang t928.c -Wall -Wextra -std=c11 -ffp-model=strict -pedantic && ./a.exe
0.1

$ cl t928.c /std:c11 /Za /fp:strict && ./t928.exe
0.1

版本：

$ clang --version
clang version 12.0.0

$ cl
Microsoft (R) C/C++ Optimizing Compiler Version 19.28.29913 for x64

UPD20210824。用户 chux - 恢复莫妮卡假设：

当用户代码中没有 FP 活动时，某些编译器无法正确包含 FP 支持。尝试添加一些。

就这个：

int main(void)
{
        float f1 = 0.0f;
        float f2 = 0.0f;
        float f3 = 0.0f;
        int i = fesetround(FE_UPWARD);
        if ( ! i )
        {
                printf("%.1f\n", 0.0);
        }
        f3 = f1 + f2;
        printf("%.1f\n", f3);
        return 0;
}

调用：

$ gcc t928.c -Wall -Wextra -std=c11 -pedantic && ./a.exe
t928.c:6: warning: ignoring '#pragma STDC FENV_ACCESS' [-Wunknown-pragmas]
    6 | #pragma STDC    FENV_ACCESS     ON
      |
0.0
0.0

$ cl t928.c /std:c11 /Za /fp:strict && ./t928.exe
0.1
0.1

$ clang12 t928.c -Wall -Wextra -std=c11 -ffp-model=strict -pedantic && ./a.exe
0.1
0.1

UPD20210831。来自微软的回答：

这是我们的 FE_UPWARD 和 FE_DOWNWARD 舍入模式中通用 CRT 中的一个问题，其中一些数字将舍入，就好像它们后面有额外的非零数字一样。这将在通用 CRT 中修复，并将包含在 Windows 操作系统和 Windows SDK 的未来版本中。

Answer 1

因为它是通用 CRT 中的一个错误。