メインコンテンツ

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

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.