このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
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 1 .
根拠
準拠するコンパイラは、コンパイル エラーが存在してもオブジェクト モジュールを生成することが許可されています。ただし、結果として得たプログラムを実行すると、予期しない動作が発生する場合があります。
Polyspace 実装
コンパイル エラーが見つかると、この命令への違反となります。
トラブルシューティング
ルール違反を想定していてもその違反が表示されない場合、コーディング規約違反が想定どおりに表示されない理由の診断を参照します。
チェック情報
グループ: Compilation and build |
カテゴリ: 必要 |
AGC カテゴリ: 必要 |
バージョン履歴
R2024a で導入
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.