-custom-target

特定のデータ型サイズをもつカスタム ターゲット プロセッサの作成

構文

-custom-target target_sizes

説明

-custom-target target_sizes は、Polyspace® 解析のカスタム ターゲット プロセッサを定義します。ターゲット プロセッサの定義には、基本データ型のバイト単位のサイズ、プレーンな char の符号属性、構造体のアライメント、size_t、ptrdiff_t、wchar_t などの標準的な typedef の潜在型が含まれます。

target_sizes は、これらの値を指定するコンマ区切りのリストです。左から右の順に、値は次のとおりです。サポートされないデータ型のサイズには -1 が使用されます。

仕様取りうる値
プレーンな char が符号付きかどうかtrue または false

char のビット単位のサイズ

その他のサイズはバイト単位。

番号
short のサイズ番号
int のサイズ番号
short long のサイズ

番号

long のサイズ番号
long long のサイズ番号
float のサイズ番号
double のサイズ番号
long double のサイズ番号
ポインターのサイズ番号
すべての整数型の最小アライメント番号
struct 型または union 型の変数の最小アライメント番号
エンディアンlittle または big
size_t の潜在型unknown、unsigned_char、unsigned_short、unsigned_int、unsigned_long、または unsigned_long_long
ptrdiff_t の潜在型unknown、signed_char、short、int、long、または long_long
wchar_t の潜在型unknown、short、unsigned_short、int、unsigned_int、long、または unsigned_long

このオプションは通常、polyspace-configure コマンドによってそれ以降の Polyspace 解析のオプション ファイルを作成する場合に使用します。ただし、オプション ファイルを手動で記述する場合は、このオプションを直接入力することができます。このオプションは、事前定義されたいずれかのターゲット プロセッサでターゲット指定がカバーされていない場合に役立ちます。ターゲット プロセッサ タイプ (-target) を参照してください。

ユーザー インターフェイス (Polyspace デスクトップ製品のみ) では、[構成] ペインの [その他] フィールドにこのオプションを入力します。Otherを参照してください。

例

このオプションは次のように使用します。

-custom-target false,8,2,4,-1,4,8,4,8,8,4,8,1,little,unsigned_int,int,unsigned_int
オプション引数は以下のターゲット指定に変換されます。

仕様取りうる値
プレーンな char が符号付きかどうかfalse
char のサイズ8 ビット
short のサイズ2 バイト
int のサイズ4 バイト
short long のサイズshort long はサポートされていません。
long のサイズ4 バイト
long long のサイズ8 バイト
float のサイズ4 バイト
double のサイズ8 バイト
long double のサイズ8 バイト
ポインターのサイズ4 バイト
すべての整数型の最大アライメント8 バイト
struct 型または union 型の変数の最大アライメント1 バイト
エンディアンlittle
size_t の潜在型unsigned_int
ptrdiff_t の潜在型int
wchar_t の潜在型unsigned_int

ヒント

  • 構成で -custom-target と[ターゲット プロセッサ タイプ] (-target) の両方を使用してターゲットが指定されている場合、解析では -custom-target で指定されたターゲットが使用されます。

  • IDE で Polyspace as You Code の拡張機能を使用する場合は、このオプションを解析オプション ファイルに入力します。オプション ファイルを参照してください。

参考

|

トピック