AUTOSAR C++14 Rule M3-2-1

All declarations of an object or function shall have compatible types

このページをすべて展開する

説明

ルール定義

All declarations of an object or function shall have compatible types

根拠

2 つの異なる翻訳単位でのオブジェクトまたは関数の宣言に型の互換性がない場合、その動作は未定義になります。

Polyspace 実装

Polyspace® が 2 つの型に互換性があると見なすのは、使用されている環境で、それらの型のサイズと符号属性が同じ場合です。このチェッカーは、次のような未使用のコードでは起動されません。

  • インスタンス化されていないテンプレート

  • 呼び出されない関数 static または extern

  • 呼び出されない未定義のローカル関数

  • 未使用の型および変数

トラブルシューティング

ルール違反が想定されるものの、Polyspace から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。

例

すべて展開する

file1.cpp



typedef          char         char_t;
typedef signed   short        int16_t;
typedef signed   long         int64_t;

namespace bar {
	int64_t a;
	int16_t c;  // Noncompliant

};

file2.cpp



typedef          char         char_t;
typedef signed   int          int32_t;

namespace bar {
	extern char_t c;
	extern int32_t a;
	void foo(void){
		++a;
		++c;
	}
};

この例では、変数 bar::c が file2.cpp 内では char として定義され、file1.cpp 内では signed short として定義されています。ターゲット プロセッサ i386 では、これらの型のサイズは等しくありません。Polyspace は、bar::c の定義にフラグを設定します。

変数 bar::a は、file1.cpp では long として定義され、file2.cpp では int として定義されています。ターゲット プロセッサ i386 では、int と long のサイズはどちらも 32 ビットです。両方のファイルでの bar::a の定義には互換性があるため、Polyspace はフラグを設定しません。

チェック情報

グループ: 基本概念
カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

参考

トピック