Formerly assert.c.~3~
[kopensolaris-gnu/glibc.git] / assert / assert.c
1 /* Copyright (C) 1991, 1994 Free Software Foundation, Inc.
2 This file is part of the GNU C Library.
3
4 The GNU C Library is free software; you can redistribute it and/or
5 modify it under the terms of the GNU Library General Public License as
6 published by the Free Software Foundation; either version 2 of the
7 License, or (at your option) any later version.
8
9 The GNU C Library is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12 Library General Public License for more details.
13
14 You should have received a copy of the GNU Library General Public
15 License along with the GNU C Library; see the file COPYING.LIB.  If
16 not, write to the Free Software Foundation, Inc., 675 Mass Ave,
17 Cambridge, MA 02139, USA.  */
18
19 #include <ansidecl.h>
20 #include <assert.h>
21 #include <stdio.h>
22 #include <stdlib.h>
23
24
25 /* This function, when passed a string containing an asserted
26    expression, a filename, and a line number, prints a message
27    on the standard error stream of the form:
28         a.c:10: foobar: Assertion `a == b' failed.
29    It then aborts program execution via a call to `abort'.  */
30
31 __NORETURN int
32 DEFUN(__assert_fail, (assertion, file, line, function),
33       CONST char *assertion AND
34       CONST char *file AND unsigned int line AND CONST char *function)      
35 {
36   /* Print the message.  */
37   (void) fprintf (stderr, "%s:%u: %s%sAssertion `%s' failed.\n",
38                   file, line,
39                   function ? function : "", function ? ": " : "",
40                   assertion);
41   (void) fflush (stderr);
42
43   abort ();
44
45   /* This function never returns, so making it void would make sense,
46      but returning something makes the assert macro easier to write.  */
47   return 0;
48 }