MISRA C:2023 Rule 11.6

A cast shall not be performed between pointer to void and an arithmetic type

R2024a 以降

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

説明

ルール定義

A cast shall not be performed between pointer to void and an arithmetic type 1 .

根拠

整数型と void へのポインターの間の変換はエラーまたは未定義の動作を引き起こす可能性があります。

  • 整数型がポインターにキャストされると、結果のポインターは正しく配置されない可能性があります。不適切なアライメントは未定義の動作を発生させます。

  • ポインターが算術型にキャストされると、結果の値はその型に許可された範囲から外れる可能性があります。

非整数算術型と void へのポインターの間での変換は定義されていません。

Polyspace 実装

NULL または (void*)0 からのキャストまたは暗黙的な変換は警告を生成しません。

トラブルシューティング

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

例

すべて展開する

void foo(void) {

    void          *p;
    unsigned int  u;
    unsigned short r;

    p = (void *) 0x1234u;            /* Non-compliant - undefined */
    u = (unsigned int) p;            /* Non-compliant - undefined */

    p = (void *) 0;                  /* Compliant - Exception */

}

この例では、p は void を指すポインターです。次の場合、このルールに違反します。

  • 整数値が p にキャストされる。

  • p が unsigned int 型にキャストされる。

値が 0 の整数定数が void へのポインターにキャストされる場合、ルールに違反しません。

チェック情報

グループ: Pointer Type Conversions
カテゴリ: 必要
AGC カテゴリ: 必要

バージョン履歴

R2024a で導入

参考

トピック

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.