AUTOSAR C++14 Rule M5-0-18

>, >=, <, <= shall not be applied to objects of pointer type, except where they point to the same array.

説明

ルール定義

>, >=, <, <= shall not be applied to objects of pointer type, except where they point to the same array.

根拠

配列の要素を指す 2 つのポインターを比較する場合、結果は相対的なポインターの位置になります。ポインターが null または異なる配列の要素を指している場合、比較演算は未定義です。

配列要素を指すポインター間で >、>=、< または <= を使用する前に、それらのポインターが非 null であり同じ配列を指していることをチェックします。

Polyspace 実装

Polyspace^® は、それぞれ異なる配列の要素を指すポインターの間での >、>=、<、または <= 演算子の使用にフラグを設定します。

ポインター型を使った関係演算子の使用に対する違反を表示している場合、チェッカーはキャストを無視します。

トラブルシューティング

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

例

異なる配列内の要素を指すポインター間の比較を回避する

bool foo(){
	int a[10];
	int b[10];
	return (a<b);  //Noncompliant
	
}

この例では、Polyspace が、それぞれ異なる配列の要素である a と b の間での比較にフラグを設定します。

チェック情報

グループ: 式

カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

R2023a: ポインターからキャストされる整数の比較には、チェッカーがフラグを設定しなくなった

ポインターからキャストされる整数を比較する場合、ルール チェッカーはこのルールの違反を報告しなくなりました。

R2023a: スタブ関数の出力が関与するポインター比較が無視されなくなった

スタブ関数の出力を使用してポインターの比較演算を行う場合でも、Polyspace がこのルールの違反を報告するようになりました。たとえば次のコードでは、ポインター ptr が関数 get_ptr() によって返されます。

int32_t *ptr = get_ptr ( );
int32_t a1[ 10 ];
int32_t *p1 = &a1[ 1 ];
bool loc = ptr > p1;   //Noncompliant

関数 get_ptr() には本体がないため、Polyspace はこれをスタブ関数として扱います。オペランドのいずれかがスタブ関数の出力である場合、Polyspace はポインターの比較演算を無視しなくなりました。この例では、p1 が宣言される前に get_ptr() が呼び出されるため、ポインター ptr および p1 は同じ配列を指すことができません。Polyspace は違反を報告します。

参考

AUTOSAR C++14 をチェック (-autosar-cpp14)

トピック

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