MISRA C++:2008 Rule 5-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 の間での比較にフラグを設定します。

チェック情報

グループ: Expressions

カテゴリ: 必要

バージョン履歴

R2013b で導入

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 は違反を報告します。

参考

MISRA C++:2008 をチェック (-misra-cpp)

トピック

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

---

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