AUTOSAR C++14 Rule M5-2-9

A cast shall not convert a pointer type to an integral type

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

説明

ルール定義

キャストによってポインター型を整数型に変換してはなりません。

根拠

C++ 標準では、整数型に必要な最小サイズのみ指定されています。整数型とポインターの実装サイズは、ハードウェアや開発環境によって異なります。ポインターのサイズが整数型のサイズより大きくなる環境では、ポインター型を整数型にキャストするとオーバーフローが発生します。ポインターの整数型へのキャストは避けてください。

Polyspace 実装

Polyspace® は、ポインター型の変数を整数型の変数に変換するキャスト操作にフラグを設定します。

トラブルシューティング

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

例

すべて展開する

void foo(){
	int* pInt;
	//...
	int address = reinterpret_cast<int>(pInt);//Noncompliant
}

この例では、ポインター pInt が整数にキャストされます。環境によっては、この操作でオーバーフローが発生する可能性があります。たとえば、64 ビット システムでは、pInt のサイズが 64 ビットになり、address のサイズが 32 ビットになる可能性があります。Polyspace は、このキャスト演算にフラグを設定します。

チェック情報

グループ: 式
カテゴリ: Required、Automated

バージョン履歴

R2019a で導入

参考

トピック