MISRA C:2023 Rule 5.8

Identifiers that define objects or functions with external linkage shall be unique

R2024a 以降

説明

このチェッカーは、既定の Polyspace^® as You Code 解析では非アクティブにされます。Polyspace as You Code 解析で非アクティブにされるチェッカー (Polyspace Access)を参照してください。

ルール定義

Identifiers that define objects or functions with external linkage shall be unique ¹ .

根拠

外部識別子はグローバル スコープまたはストレージ クラス extern で宣言されます。外部識別子の名前を再利用すると開発者が混乱する可能性があります。

関数内で宣言される識別子は小さいスコープになります。そのような識別子の名前は一意ではなくとも、混乱を生じさせる可能性はほとんどありません。

トラブルシューティング

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

チェック情報

グループ: 識別子

カテゴリ: 必要

AGC カテゴリ: 必要

バージョン履歴

R2024a で導入

参考

MISRA C:2023 のチェック (-misra-c-2023) | MISRA C:2023 Rule 5.3

トピック

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

---

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