pragma Suppress

指定した種類の言語定義の実行時検査を外してよいことをコンパイラーに許すAdaのプラグマ。外した検査が失敗する状況が起きると、実行は誤り（erroneous）になる。GNATの-gnatpは、ユニット全体にpragma Suppress (All_Checks)を書いたのと同じ扱いになる。

概念URI

https://comcomponent.com/knowledge/ada-pragma-suppress/

別名・表記

Suppress(All_Checks) / 検査の抑止

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• pragma Suppressはバッファオーバーランの原因になることがあります。検査を外した状態で、その検査が失敗する状況が起きると、実行は誤り（erroneous）になる。証明していないコードで添字の検査を外すと、画像の外へのアクセスが何を引き起こすか分からなくなる / 確度: 条件付きの関係 / 確認日: 2026-11-10 出典
• Silverレベル(AoRTE)はpragma Suppressより先に行うべきです。SPARKのユーザーガイドは、プログラム全体で検査を外すのではなく、GNATproveで実行時エラーがないことを証明した部分だけ検査を外す方法を勧めている。記事ではgprbuildでファイルごとに-gnatpを付け、証明できたユニットだけ検査を外した / 確度: 確立した関係 / 確認日: 2026-11-10 出典

この概念を扱う記事

• 画像処理の境界外アクセスをSPARKで証明する ── 2値化・平滑化・ラベリングとCとの速度比較(言及)

一次資料

• https://www.adaic.org/resources/add_content/standards/22rm/html/RM-11-5.html
• https://gcc.gnu.org/onlinedocs/gnat_ugn/Run-Time-Checks.html

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。