MISRA C:2012 Rule 21.12

The standard header file <fenv.h> shall not be used

全页展开

描述

The standard header file <fenv.h> shall not be used ¹ .

理由

在某些情况下，未指定浮点状态标志的值。尝试访问这些值可能会导致未定义行为。

故障排除

如果您预期会出现违规，但未看到该违规，请参阅诊断为何编码规范违规未按预期显示。

示例

全部展开

使用 `<fenv.h>` 中的特征

#include <fenv.h>     /* Non-compliant */

void func(float x, float y) {
    float z;

    feclearexcept(FE_DIVBYZERO);              /* Non-compliant */ 
    z = x/y;

    if(fetestexcept (FE_DIVBYZERO))  {        /* Non-compliant */ 
    }
    else {
#pragma STDC FENV_ACCESS ON
        z=x*y;
        if(z>x) {
#pragma STDC FENV_ACCESS OFF
            if(fetestexcept (FE_OVERFLOW)) {  /* Non-compliant */ 
            }
        }
    }
}

在此示例中，当使用标识符 feclearexcept 和 fetestexcept，以及宏 FE_DIVBYZERO 和 FE_OVERFLOW 时，违反了此规则。

检查信息

组：标准库

类别：必需

AGC 类别：必需

PQL 名称：std.misra_c_2012.R21_12

版本历史记录

在 R2015b 中推出

全部展开

R2025a: 将报告来自 `<fenv.h>` 的更多函数和宏

Polyspace^® 现在会报告使用头文件 <fenv.h> 中的更多函数和宏的情形，包括使用：

FE_INEXACT
FE_DIVBYZERO
FE_UNDERFLOW
FE_OVERFLOW
FE_DFL_ENV
FE_DOWNWARD
FE_TONEAREST
FE_TOWARDZERO
FE_UPWARD
fesetenv()

R2024a: 此规则被归类为必需

根据 MISRA C:2012 Amendment 3，此规则现在被归类为必需。

R2024a: 包含头文件 `fenv.h` 被报告为违规

现在，包含头文件 fenv.h 会被报告为违反此规则：

#include<fenv.h> //Noncompliant

另请参阅

检查 MISRA C:2012 (-misra3)

主题

检查并审查编码标准违规

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

MISRA C:2004
MISRA C:2012
MISRA C:2023
MISRA C++:2008
MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.