構文

#pragma define_without_bounds

説明

このプラグマディレクティブを使用して、追加の境界情報を持たない関数のバージョンを定義します。この関数のコードは、変わりなくポインタの境界を追跡するように有効化されます（また、#pragma disable_check = boundsを使用しない限り、チェックも挿入されます）。

ポインタ境界を追跡しないコードから関数が独占的に呼び出され、境界が他の引数から、あるいは他の何らかの方法で推測できる場合に便利です。

例

/* p points to an array of n integers */
void fun(int * p, int n)
{
  /* Set up bounds for p. */
  p = __as_make_bounds(p, n);
  ...
}