このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

MISRA C++:2008 Rule 3-9-3

The underlying bit representations of floating-point values shall not be used.

このページをすべて展開する

説明

ルール定義

The underlying bit representations of floating-point values shall not be used. 1

根拠

浮動小数点値の元になるビット表現はコンパイラによって異なります。浮動小数点値の元になる表現を直接使用している場合、プログラムを実装間で移植することはできません。

Polyspace 実装

ルール チェッカーは、浮動小数点型を指すポインターから整数型を指すポインターへの変換 (およびその逆) にフラグを設定します。

トラブルシューティング

ルール違反が想定されるものの、Polyspace® から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。

例

すべて展開する

float fabs2(float f) {
    unsigned int* ptr = reinterpret_cast <unsigned int*> (&f); //Noncompliant
    *(ptr + 3) &= 0x7f;
    return f;
}

この例では、reinterpret_cast は浮動小数点値を整数にキャストし、その浮動小数点値の元になるビット表現にアクセスすることを試みます。

チェック情報

グループ: Basic Concepts
カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

トピック

1 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.