<assert.h >

<assert.h> インクルード・ファイルは、assert マクロを定義します。assert を使用するときには、assert.h を設定する必要があります。

assert の定義は、#ifndef プリプロセッサー・ブロック内にあります。 ID NDEBUG の定義に、#define ディレクティブを通さず、コンパイル・コマンドも使用していない場合は、assert マクロがアサーションの式をテストします。アサーションが false の場合、システムは stderr へメッセージを出力し、プログラムの異常終了シグナルを発します。 アサーションが false の場合、システムではダンプ・ジョブ (DMPJOB) OUTPUT(*PRINT) も実行します。

NDEBUG が定義されている場合、assert は何も行わないように定義されます。 NDEBUG を定義することにより、プログラム・アサーションを抑制することができます。