MISRA C++:2023 Rule 8.2.6

An object with integral, enumerated, or pointer to void type shall not be cast to a pointer type

R2024b 以降

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

説明

ルール定義

An object with integral, enumerated, or pointer to void type shall not be cast to a pointer type. 1

根拠

void* ポインター、整数型、または列挙型をポインター型のオブジェクトにキャストすると、未指定の動作が発生します。

Polyspace 実装

チェッカーは、0x0、0、または 0U などのゼロ定数の例外を許容します。

void* ポインターが関数へのポインターに変換される場合、Polyspace® は違反を報告しません。

トラブルシューティング

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

例

すべて展開する

この例では、Polyspace は整数からポインターへの変換にフラグを設定します。Polyspace は、0、0x0、または 0U などのゼロ定数からポインターへの変換にはフラグを設定しません。このような変換はポインターのゼロ初期化と同等であり、指定された動作があります。

void foo ()
{
  void *p1;
  void *p2;
  void *p3;

  p1 = static_cast < void *>(0x0);	//Compliant
  p2 = static_cast < void *>(0U);	//Compliant
  p3 = static_cast < void *>(0);	//Compliant

  p1 = (void *) 0xDEADBEEF;	//Noncompliant
  p2 = (void *) 03;		//Noncompliant
  p3 = (void *) 12345678U;	//Noncompliant
}

チェック情報

グループ: Expressions
カテゴリ: Required

バージョン履歴

R2024b で導入

参考

トピック

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