MISRA C:2012 Rule 20.13

A line whose first token is # shall be a valid preprocessing directive

説明

ルール定義

A line whose first token is # shall be a valid preprocessing directive 1

根拠

通常は、条件付きでソース コードを除外するために、対応する #else、#elif、#endif 命令が見つかるまでプリプロセッサ命令を使用します。プリプロセッサ命令が不正な形式または無効なためにコンパイラがプリプロセッサ命令を検出しない場合、意図していたよりも多くのコードを除外することになる可能性があります。

すべてのプリプロセッサ命令が、除外されたコード内でも、構文的に有効な場合、意図しないコードの除外は発生しません。

レポート内の追加のメッセージ

Directive is not syntactically meaningful.

トラブルシューティング

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

チェック情報

グループ: プリプロセッサ命令
カテゴリ: 必要
AGC カテゴリ: 必要

参考

トピック

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.