assert/assert.c

   1 /* Copyright (C) 1991, 1994, 1995 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 #include <sysdep.h>
  24
  25
  26 CONST char *__assert_program_name;
  27
  28 /* This function, when passed a string containing an asserted
  29    expression, a filename, and a line number, prints a message
  30    on the standard error stream of the form:
  31         a.c:10: foobar: Assertion `a == b' failed.
  32    It then aborts program execution via a call to `abort'.  */
  33
  34 #ifdef FATAL_PREPARE_INCLUDE
  35 #include FATAL_PREPARE_INCLUDE
  36 #endif
  37
  38 void
  39 DEFUN(__assert_fail, (assertion, file, line, function),
  40       CONST char *assertion AND
  41       CONST char *file AND unsigned int line AND CONST char *function)
  42 {
  43 #ifdef FATAL_PREPARE
  44   FATAL_PREPARE;
  45 #endif
  46
  47   /* Print the message.  */
  48   (void) fprintf (stderr, "%s%s%s:%u: %s%sAssertion `%s' failed.\n",
  49                   __assert_program_name ? __assert_program_name : "",
  50                   __assert_program_name ? ": " : "",
  51                   file, line,
  52                   function ? function : "", function ? ": " : "",
  53                   assertion);
  54   (void) fflush (stderr);
  55
  56   abort ();
  57 }
  58
  59 #ifdef  HAVE_GNU_LD
  60
  61 #include <string.h>
  62
  63 static void
  64 DEFUN(set_progname, (argc, argv, envp),
  65       int argc AND char **argv AND char **envp)
  66 {
  67   char *p;
  68
  69   if (argv && argv[0])
  70     {
  71       p = strrchr (argv[0], '/');
  72       if (p == NULL)
  73         __assert_program_name = argv[0];
  74       else
  75         __assert_program_name = p + 1;
  76     }
  77
  78   (void) &set_progname;         /* Avoid "defined but not used" warning.  */
  79 }
  80
  81 text_set_element (__libc_subinit, set_progname);
  82
  83 #endif