#pragma generate_entry_without_bounds
このセクションの内容:
構文
#pragma generate_entry_without_bounds
説明
このプラグマディレクティブを使用して、直後の関数に対して、境界を持たない追加のエントリの生成を有効化します。この追加エントリ(関数)は、境界チェック用に有効化されていないコードから呼び出すことができます。非表示の追加のパラメータは必要とせず、返されたポインタについて境界の情報も一切追加されません。こうした関数に渡されたポインタにはすべて境界が設定され、あらゆるアクセスについてエラーが発生します。‑‑ignore_uninstrumented_pointersを使用する場合、設定された境界によってエラーが発生することはありません。
警告
そのようなエントリが生成されない関数にこのプラグマディレクティブを使用するがエラーになります。これには、引数の変数値を受け入れる関数や、ポインタを含む値を受け入れたり返す 1 つ以上の関数ポインタを受け入れる関数が含まれます。
こうしたエントリを必要としない関数にこのプラグマディレクティブを使用することはエラーではありません(ポインタを受け入れないか、または#pragma no_bounds を使用して宣言されているため)。この場合、追加のエントリは生成されません。