mirror of https://github.com/mkerrisk/man-pages
80 lines
2.6 KiB
Groff
80 lines
2.6 KiB
Groff
.\" Copyright (c) 1993 by Thomas Koenig (ig25@rz.uni-karlsruhe.de)
|
|
.\"
|
|
.\" %%%LICENSE_START(VERBATIM)
|
|
.\" Permission is granted to make and distribute verbatim copies of this
|
|
.\" manual provided the copyright notice and this permission notice are
|
|
.\" preserved on all copies.
|
|
.\"
|
|
.\" Permission is granted to copy and distribute modified versions of this
|
|
.\" manual under the conditions for verbatim copying, provided that the
|
|
.\" entire resulting derived work is distributed under the terms of a
|
|
.\" permission notice identical to this one.
|
|
.\"
|
|
.\" Since the Linux kernel and libraries are constantly changing, this
|
|
.\" manual page may be incorrect or out-of-date. The author(s) assume no
|
|
.\" responsibility for errors or omissions, or for damages resulting from
|
|
.\" the use of the information contained herein. The author(s) may not
|
|
.\" have taken the same level of care in the production of this manual,
|
|
.\" which is licensed free of charge, as they might when working
|
|
.\" professionally.
|
|
.\"
|
|
.\" Formatted or processed versions of this manual, if unaccompanied by
|
|
.\" the source, must acknowledge the copyright and authors of this work.
|
|
.\" %%%LICENSE_END
|
|
.\"
|
|
.\" Modified Sat Jul 24 21:42:42 1993 by Rik Faith <faith@cs.unc.edu>
|
|
.\" Modified Tue Oct 22 23:44:11 1996 by Eric S. Raymond <esr@thyrsus.com>
|
|
.TH ASSERT 3 2013-09-26 "GNU" "Linux Programmer's Manual"
|
|
.SH NAME
|
|
assert \- abort the program if assertion is false
|
|
.SH SYNOPSIS
|
|
.nf
|
|
.B #include <assert.h>
|
|
.sp
|
|
.BI "void assert(scalar " expression );
|
|
.fi
|
|
.SH DESCRIPTION
|
|
If the macro
|
|
.B NDEBUG
|
|
was defined at the moment
|
|
.I <assert.h>
|
|
was last included, the macro
|
|
.BR assert ()
|
|
generates no code, and hence does nothing at all.
|
|
Otherwise, the macro
|
|
.BR assert ()
|
|
prints an error message to standard error and terminates the program
|
|
by calling
|
|
.BR abort (3)
|
|
if
|
|
.I expression
|
|
is false (i.e., compares equal to zero).
|
|
.LP
|
|
The purpose of this macro is to help programmers find bugs in
|
|
their programs.
|
|
The message "assertion failed in file foo.c, function
|
|
do_bar(), line 1287" is of no help at all to a user.
|
|
.SH RETURN VALUE
|
|
No value is returned.
|
|
.SH CONFORMING TO
|
|
POSIX.1-2001, C89, C99.
|
|
In C89,
|
|
.I expression
|
|
is required to be of type
|
|
.I int
|
|
and undefined behavior results if it is not, but in C99
|
|
it may have any scalar type.
|
|
.\" See Defect Report 107 for more details.
|
|
.SH BUGS
|
|
.BR assert ()
|
|
is implemented as a macro; if the expression tested has side-effects,
|
|
program behavior will be different depending on whether
|
|
.B NDEBUG
|
|
is defined.
|
|
This may create Heisenbugs which go away when debugging
|
|
is turned on.
|
|
.SH SEE ALSO
|
|
.BR abort (3),
|
|
.BR assert_perror (3),
|
|
.BR exit (3)
|