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 カテゴリ: 必要

バージョン履歴

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)

トピック

• コーディング規約違反のチェックおよびレビュー

---

¹ All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

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.