構文

#pragma define_with_bounds

説明

このプラグマディレクティブは、#pragma no_bounds（または同等のもの）を使用して宣言された関数にしか使用できません。続いて、この関数はポインタ境界を追跡するように有効化されますが、境界チェックは一切実行されません。この関数の呼び出しはすべて、追加の境界情報を持たないバージョンへのものになります。

これは、非チェックバージョンに基づいて関数のチェックバージョンを作成する場合に便利です。。