MISRA C:2012 Rule 18.3

The relational operators >, >=, < and <= shall not be applied to expressions of pointer type except where they point into the same object

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

説明

ルール定義

The relational operators >, >=, <, and <= shall not be applied to expressions of pointer type except where they point into the same object ¹ .

根拠

2 つのポインターが同じオブジェクトを指さない場合、ポインター間の比較は未定義の動作を発生させます。

配列の終わりを超える要素を指すことはできますが、この要素にはアクセスできません。

Polyspace 実装

null ポインターまたは別の配列内の要素を指しているポインターを比較すると、Polyspace^® はこのルールに対する違反を報告します。比較の関係演算子は >、<、>=、および <= です。

現行の解析で、比較演算で使用されるポインターのいずれかが Polyspace に対して未知である場合、このルールの違反は報告されません。たとえば次のコードでは、Polyspace は arg_ptr および temp の基になるオブジェクトを判断できません。

extern int *getPtr();
void foo(int *arg_ptr) {
	int diff, diff2;
	int c_str[50];
	int *temp = getPtr();

	if(c_str < arg_ptr) {/**/} //No violation
	if(c_str < tmp) {/**/} //No violation
}

これらのポインターが関係する比較は、このルールの違反として報告されません。

トラブルシューティング

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

例

すべて展開する

ポインターと配列の比較

void f1(void){
    int arr1[10];
    int arr2[10];
    int *ptr1 = arr1;

    if(ptr1 < arr2){}    /* Non-compliant */
    if(ptr1 < arr1){}    /* Compliant */
}

この例では、ptr1 は arr1 を指すポインターです。ルール 18.3 に準拠するには、ptr1 と arr1 のみを比較できます。したがって、ptr1 と arr2 の比較は準拠しません。

構造体の比較

struct limits{
  int lower_bound;
  int upper_bound;
};

void func2(void){
    struct limits lim_1 = { 2, 5 };
    struct limits lim_2 = { 10, 5 };

    if(&lim_1.lower_bound <= &lim_2.upper_bound){}  /* Non-compliant *
    if(&lim_1.lower_bound <= &lim_1.upper_bound){}  /* Compliant */
}

この例では、2 つの limits 構造体である lim1 および lim2 を定義し、要素を比較します。ルール 18.3 に準拠するには、構造体内の構造体要素のみ比較できます。最初の比較では lim1 の lower_bound と lim2 の upper_bound を比較しています。この比較は、lim_1.lower_bound および lim_2.upper_bound が 2 つの異なる構造体の要素であるため、準拠しません。

チェック情報

グループ: ポインターと配列

カテゴリ: 必要

AGC カテゴリ: 必要

バージョン履歴

すべて展開する

R2024b: ルールが式に適用される

MISRA C:2012 Amendment 4 に従い、このルールはポインター型のオブジェクトではなくポインター型の式に適用されるようになりました。ルール定義が "The relational operators >, >=, < and <= shall not be applied to expressions of pointer type except where they point into the same object" に変更されました。

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

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

int32_t *ptr = get_ptr ( );
int32_t a1[ 10 ];
int32_t *p1 = &a1[ 1 ];
int32_t diff = ptr - p1;   //Noncompliant

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

参考

MISRA C:2012 Dir 4.1 | MISRA C:2012 のチェック (-misra3)

トピック

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

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.