ASSERT(3) BSD Library Functions Manual ASSERT(3)

NAME
     aasssseerrtt - expression verification macro

SYNOPSIS
     ##iinncclluuddee <>

     aasssseerrtt(expression);

DESCRIPTION
     The aasssseerrtt() macro tests the given expression and if it is false, the
     calling process is terminated.  A diagnostic message is written to stderr
     and the abort(3) function is called, effectively terminating the program.

     If expression is true, the aasssseerrtt() macro does nothing.

     The aasssseerrtt() macro may be removed at compile time with the cc(1) option
     -DDNNDDEEBBUUGG.

DIAGNOSTICS     The following diagnostic message is written to stderr if expression is
     false:

           "assertion \"%s\" failed: file \"%s\", line %d\n", \
                               "expression", FILE, LINE);

SEE ALSO
     cc(1), abort(3)

STANDARDS
     The aasssseerrtt() macro conforms to ANSI X3.159-1989 (``ANSI C89'').

HISTORY     A aasssseerrtt macro appeared in Version 6 AT&T UNIX.

BSD                              June 9, 1993                              BSD