ASSERT(3)                                                            ASSERT(3)



NAME
       assert - program verification

SYNOPSIS
       #include <assert.h>

       assert(expression)

DESCRIPTION
       _A_s_s_e_r_t  is  a macro that indicates _e_x_p_r_e_s_s_i_o_n is expected to be true at
       this point in the program.  It causes an _e_x_i_t(2) with a diagnostic com‐
       ment  on  the  standard output when _e_x_p_r_e_s_s_i_o_n is false (0).  Compiling
       with the _c_c(1) option -DNDEBUG effectively deletes _a_s_s_e_r_t from the pro‐
       gram.

DIAGNOSTICS
       ‘Assertion  failed:  file  _f  line  _n_._’  _F is the source file and _n the
       source line number of the _a_s_s_e_r_t statement.



7th Edition                      May 12, 1986                        ASSERT(3)