MISRA C:2012 Rule 11.3

A conversion shall not be performed between a pointer to object type and a pointer to a different object type

説明

ルール定義

A conversion shall not be performed between a pointer to object type and a pointer to a different object type ¹ .

根拠

オブジェクトへのポインターが別のオブジェクトへのポインターにキャストされる場合、結果のポインターは正しく配置されない可能性があります。不適切なアライメントは未定義の動作を発生させます。

変換によって正しく配置されたポインターが生成されたとしても、そのポインターがオブジェクトへのアクセスに使用される場合、動作が未定義となることがあります。

例外として、MISRA C:2012 規約では、atomic で修飾されていないオブジェクト型へのポインターを次のいずれかの型へのポインターに変換することを許可しています。

• char

• signed char

• unsigned char

トラブルシューティング

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

例

非準拠:範囲のより広いオブジェクト型を指すポインターへのキャスト

signed   char *p1;
unsigned int *p2;

void foo(void){ 
  p2 = ( unsigned int * ) p1;     /* Non-compliant */				
}

この例では、p1 は signed char オブジェクトを指します。しかしながら、p1 は範囲のより広いオブジェクト型 unsigned int を指すポインターにキャストされています。

非準拠:範囲のより狭いオブジェクト型を指すポインターへのキャスト

extern unsigned int read_value ( void );
extern void display ( unsigned int n );

void foo ( void ){
  unsigned int u = read_value ( );
  unsigned short *hi_p = ( unsigned short * ) &u;    /* Non-compliant  */	
  *hi_p = 0;                                         
  display ( u );                                     
}

この例では、u は unsigned int 変数です。&u は、範囲のより狭いオブジェクト型 unsigned short を指すポインターにキャストされています。

ビッグエンディアン マシンでは、ステートメント *hi_p = 0 は &u が指すメモリ位置の高位ビットをクリアしようと試みます。しかし、display(u) の結果を見ると、その高位ビットがクリアされていないことがあります。

非準拠:暗黙的なキャスト

typedef struct {
	int iNum1;
}A;

typedef struct {
	int iNum2;
}B;

void bar(A*);

void foo() {
	B wrappedNum2;
	bar(&wrappedNum2); /* Noncompliant*/

}

この例では、B の struct 型のオブジェクト wrappedNum2 は、bar の呼び出しで暗黙的に A の struct 型のオブジェクトにキャストされます。Polyspace^® はこの暗黙的なキャストにフラグを設定します。

準拠:型修飾子を追加するキャスト

const short *p;
const volatile short *q;
void foo (void){
  q = ( const volatile short * ) p;  /* Compliant */								
}

この例では、p と q のいずれも short オブジェクトを指します。この両者間のキャストは volatile 修飾子のみを追加し、したがって準拠性をもちます。

チェック情報

グループ: Pointer Type Conversions

カテゴリ: 必要

AGC カテゴリ: 必要

バージョン履歴

R2014b で導入

R2024b: 変更されたルール定義および例外

MISRA C:2012 Amendment 4 に従い、ルール定義が "A conversion shall not be performed between a pointer to object type and a pointer to a different object type" に変更されました。

このルールの例外指定は、修飾子がないオブジェクト型へのポインターを次のいずれかの型へのポインターに変換することに限定されています。

• char

• signed char

• unsigned char

修飾子付きオブジェクトのポインターを変換する場合は、変換後の型が char*、signed char*、unsigned char* のいずれかである場合でも、Polyspace が違反を報告します。

参考

MISRA C:2012 Rule 11.4 | MISRA C:2012 Rule 11.5 | MISRA C:2012 Rule 11.8 | MISRA C:2012 のチェック (-misra3)

トピック

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

---

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