c - 为什么 fetestexcept() 在乘以浮点数时有时会抱怨？

Question

我在 C99 中使用fetestexcept()，它有时会抱怨乘以浮点数会产生不精确的结果（FE_INEXACT）。将浮点变量与浮点文字相乘时似乎会发生这种情况。我怎样才能修改这个所以 fetestexcept() 不会抱怨？

gcc -std=c99 -lm test.c

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

#pragma STDC FENV_ACCESS ON

int main(void)
{
    float a = 1.1f;
    float b = 1.2f;
    float c = a * b * 1.3f;

    int exception = fetestexcept(FE_ALL_EXCEPT);
    if(exception != 0)
    {
        printf("Exception: 0x%x\n", exception); // 0x20 FE_INEXACT
    }

    return 0;
}

Answer 1

好吧，如果您对该异常不感兴趣，请不要测试 FE_INEXACT？例如，而不是

int exception = fetestexcept(FE_ALL_EXCEPT);

做

int exception = fetestexcept(FE_ALL_EXCEPT & ~FE_INEXACT);

Answer 2

您可以使用Diagnostic-Pragmas忽略某些警告。

例如，如果我要编译您的代码子集：

#include <stdio.h>
#include <math.h> 
#include <fenv.h>  
#pragma STDC FENV_ACCESS ON  
int main(void) {
   float a = 1.1f;
   float b = 1.2f;
   float c = a * b * 1.3f;
   int exception = c;
   return 0;
 } 

和：

gcc -Wall test.c

我会收到一堆警告，例如：

test.c:22:0: warning: ignoring #pragma STDC FENV_ACCESS [-Wunknown-pragmas]
test.c: In function ‘main’:
test.c:28:11: warning: unused variable ‘exception’ [-Wunused-variable]

然后要使它们静音，您可以添加“忽略的”编译指示：

#pragma GCC diagnostic ignored "-Wunknown-pragmas"
#pragma GCC diagnostic ignored "-Wunused-variable"

重新编译，警告消失。