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

浮動小数点値の等式演算と不等式演算のチェック

チェック ID: mathworks.misra.CompareFloatEquality

浮動小数点値の等式演算と不等式演算を特定します。

説明

このチェックは浮動小数点値の等式演算または不等式演算の原因となるソースにフラグを付けます。

このチェックの推奨事項に従うと、組み込みアプリケーション用の MISRA C:2012 準拠コードと、CERT C 標準および CWE 標準に準拠するコードが生成される可能性が高くなります。

浮動小数点値の等式演算または不等式演算を含むブロックが Polyspace® の注釈で正当化される場合、このチェックはフラグを付けません。チェックを実行すると、正当化情報のある等式演算または不等式演算を含むブロックは、[正当化情報のあるブロック] テーブルにリストされます。

Embedded Coder® および Simulink® Check™ で使用できます。

メモ

モデルに Stateflow の要素が含まれている場合、Stateflow® ライセンスが必要です。

結果と推奨アクション

条件推奨アクション

モデル オブジェクトに浮動小数点値の等式演算または不等式演算がある。

等式演算と不等式演算には浮動小数点ではない値を使用することを検討してください。

機能および制限事項

次のことが可能です。

  • Simulink Check ライセンスをお持ちの場合は、ブロックおよびチャートをこのチェックから除外できます。

参考