MISRA C:2023 Dir 2.1

All source files shall compile without any compilation errors

R2024a 以降

説明

命令の定義

All source files shall compile without any compilation errors ¹ .

根拠

準拠するコンパイラは、コンパイル エラーが存在してもオブジェクト モジュールを生成することが許可されています。ただし、結果として得たプログラムを実行すると、予期しない動作が発生する場合があります。

Polyspace 実装

コンパイル エラーが見つかると、この命令への違反となります。

トラブルシューティング

ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。

チェック情報

グループ: Compilation and build

カテゴリ: 必要

AGC カテゴリ: 必要

バージョン履歴

R2024a で導入

参考

MISRA C:2023 のチェック (-misra-c-2023) | MISRA C:2023 Rule 1.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.