MISRA C++:2023 Dir 0.3.1

Floating-point arithmetic should be used appropriately

R2024b 以降

説明

命令の定義

Floating-point arithmetic should be used appropriately. ¹

根拠

浮動小数点演算の誤った使用は、桁落ち、オーバーフロー、カタストロフィックな相殺などの問題を引き起こす可能性があります。

Polyspace 実装

ルール チェッカーは、以下の欠陥チェッカーと同じ問題をチェックします。

• 浮動小数点数のゼロ除算

• 浮動小数点変換のオーバーフロー

• 浮動小数点のオーバーフロー

• 浮動小数点オペランドの統合

• 等号演算子による浮動小数点の比較

トラブルシューティング

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

チェック情報

グループ: 言語に依存しない問題

カテゴリ: 推奨

バージョン履歴

R2024b で導入

参考

MISRA C++:2023 のチェック (-misra-cpp-2023)

トピック

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

---

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