C and C++

LANG.CAST.PC.INC : 不完全型へのポインタの型変換

要旨

不完全型へのポインタから、もしくは不完全型へのポインタへキャストもしくは暗黙型変換されています。

ポインタとvoid間の変換はこのクラスではカバーされませんが、 voidポインタからオブジェクトポインタへの型変換 および 算術型とvoidポインタ間のキャストによってカバーされています。

プロパティ

クラス名 Conversion: Pointer to Incomplete
日本語クラス名 不完全型へのポインタの型変換
クラス分類 スタイル (style)
ニーモニック LANG.CAST.PC.INC
カテゴリー
MisraC2023 MisraC2023:11.2 Conversions shall not be performed between a pointer to an incomplete type and any other type
Misra2012 Misra2012:11.2 Conversions shall not be performed between a pointer to an incomplete type and any other type
Misra2004 Misra2004:11.2 Conversions shall not be performed between a pointer to object and any type other than an integral type, another pointer to object type or a pointer to void
  Misra2004:11.3 A cast should not be performed between a pointer type and an integral type
MisraC++2008 MisraC++2008:5-2-7 An object with pointer type shall not be converted to an unrelated pointer type, either directly or indirectly.
CWE CWE:704 Incorrect Type Conversion or Cast
TS17961 TS17961:5.1-ptrcomp 5.1. Accessing an object through a pointer to an incompatible type
  TS17961:5.6-argcomp 5.6. Calling functions with incorrect arguments
CERT-CPP CERT-CPP:EXP57-CPP Do not cast or delete pointers to incomplete classes
JSF++ JSF++:182 Type casting from any type to or from pointers shall not be used.
  JSF++:183 Every possible measure should be taken to avoid type casting.
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっており、プロジェクトには非正規の C向けAST が必要になります。有効にするにはプロジェクト設定ファイル （configuration file） に以下の WARNING_FILTER ルールと RETAIN_UNNORMALIZED_C_AST 設定を追加してください。 
RETAIN_UNNORMALIZED_C_AST = Yes
WARNING_FILTER += allow class="Conversion: Pointer to Incomplete"
注：非正規化された AST を継続して使用した場合、使用ディスク容量が増加し解析時間が長くなる可能性があります。

例 

struct s_inc;                               /* incomplete type */             
struct s_comp {int i;} s_comp;

typedef struct s_inc sinc_t;               
typedef struct s_comp scomp_t;

sinc_t * PC_toINC(scomp_t *sc){
  sinc_t *si;
  si = (sinc_t *) sc;   /* 'Conversion: Pointer to Incomplete' warning issued here */
  return si;
}

scomp_t * PC_fromINC(sinc_t *si){
  scomp_t *sc;
  sc = (scomp_t *) si;  /* 'Conversion: Pointer to Incomplete' warning issued here */
  return sc;
}

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。