home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Source Code 1993 July / THE_SOURCE_CODE_CD_ROM.iso / gnu / glibc-1.06 / assert / assert.c next >
Encoding:
C/C++ Source or Header  |  1991-06-12  |  1.6 KB  |  46 lines

  1. /* Copyright (C) 1991 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: Assertion `a == b' failed.
  29.    It then aborts program execution via a call to abort().  */
  30.  
  31. int
  32. DEFUN(__assert_fail, (assertion, file, line),
  33.       CONST char *assertion AND CONST char *file AND unsigned int line)
  34. {
  35.   /* Print the message.  */
  36.   (void) fprintf(stderr, "%s:%u: Assertion `%s' failed.\n",
  37.          file, line, assertion);
  38.   (void) fflush(stderr);
  39.  
  40.   abort();
  41.  
  42.   /* This function never returns, so making it void would make sense,
  43.      but returning something makes the assert macro easier to write.  */
  44.   return(0);
  45. }
  46.