AUTOSAR C++14 Rule M3-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.

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

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

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

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

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

グループ: 基本概念

カテゴリ: Required、Automated

R2019a で導入