2012までの知識と唐突に他言語の雑談が混じっても流せる柳の心を前提としています。既存のpragmaでは抑制できない実行時チェックが残されていました。指定できるチェック名が追加で定義されました。発生させるものが該当します。「その他」的な扱いのチェック名です。発生させる実行時チェックに該当します。チェックを省略する方法はありませんでした。発生させる事前条件とpredicateに該当します。今コンパイルしているコードに働きかけるもので、コンパイル済みライブラリの中までは影響しません。template式で実現しているコンパイラではユーザー側でインスタンス化する際には影響するかもしれません。コード共有型で実現しているコンパイラでは影響しません。該当するのは事前条件とpredicateのみです。事後条件と不変条件に関しては実装が正しければ失敗しない云々。checkも抑制することができます。units所感¶ところで、どうやってコンパイル済みライブラリの挙動を変えるつもりなのでしょうね。事前条件を常に呼び出し側で評価していたり、またはラッパーで実現していてチェックなし版も外から呼べるようになっているなら簡単でしょうけれども。GNATのようにサブプログラム本体に埋め込んでしまうコンパイラですと難しいような。