summaryrefslogtreecommitdiff
path: root/assert
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1995-02-18 01:27:10 +0000
committerRoland McGrath <roland@gnu.org>1995-02-18 01:27:10 +0000
commit28f540f45bbacd939bfd07f213bcad2bf730b1bf (patch)
tree15f07c4c43d635959c6afee96bde71fb1b3614ee /assert
initial import
Diffstat (limited to 'assert')
-rw-r--r--assert/Makefile26
-rw-r--r--assert/assert-perr.c55
-rw-r--r--assert/assert.c83
-rw-r--r--assert/assert.h98
4 files changed, 262 insertions, 0 deletions
diff --git a/assert/Makefile b/assert/Makefile
new file mode 100644
index 0000000000..76b75bb2f8
--- /dev/null
+++ b/assert/Makefile
@@ -0,0 +1,26 @@
+# Copyright (C) 1991, 1994 Free Software Foundation, Inc.
+# This file is part of the GNU C Library.
+
+# The GNU C Library is free software; you can redistribute it and/or
+# modify it under the terms of the GNU Library General Public License as
+# published by the Free Software Foundation; either version 2 of the
+# License, or (at your option) any later version.
+
+# The GNU C Library is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+# Library General Public License for more details.
+
+# You should have received a copy of the GNU Library General Public
+# License along with the GNU C Library; see the file COPYING.LIB. If
+# not, write to the Free Software Foundation, Inc., 675 Mass Ave,
+# Cambridge, MA 02139, USA.
+
+#
+# Sub-makefile for assert portion of the library.
+#
+subdir := assert
+
+routines := assert assert-perr
+
+include ../Rules
diff --git a/assert/assert-perr.c b/assert/assert-perr.c
new file mode 100644
index 0000000000..b0436ad575
--- /dev/null
+++ b/assert/assert-perr.c
@@ -0,0 +1,55 @@
+/* Copyright (C) 1994, 1995 Free Software Foundation, Inc.
+This file is part of the GNU C Library.
+
+The GNU C Library is free software; you can redistribute it and/or
+modify it under the terms of the GNU Library General Public License as
+published by the Free Software Foundation; either version 2 of the
+License, or (at your option) any later version.
+
+The GNU C Library is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+Library General Public License for more details.
+
+You should have received a copy of the GNU Library General Public
+License along with the GNU C Library; see the file COPYING.LIB. If
+not, write to the Free Software Foundation, Inc., 675 Mass Ave,
+Cambridge, MA 02139, USA. */
+
+#include <assert.h>
+#include <stdio.h>
+#include <string.h>
+#include <sysdep.h>
+
+
+extern const char *__assert_program_name; /* In assert.c. */
+
+/* This function, when passed an error number, a filename, and a line
+ number, prints a message on the standard error stream of the form:
+ a.c:10: foobar: Unexpected error: Computer bought the farm
+ It then aborts program execution via a call to `abort'. */
+
+#ifdef FATAL_PREPARE_INCLUDE
+#include FATAL_PREPARE_INCLUDE
+#endif
+
+void
+__assert_perror_fail (int errnum,
+ const char *file, unsigned int line,
+ const char *function)
+{
+#ifdef FATAL_PREPARE
+ FATAL_PREPARE;
+#endif
+
+ /* Print the message. */
+ (void) fprintf (stderr, "%s%s%s:%u: %s%sUnexpected error: %s.\n",
+ __assert_program_name ? __assert_program_name : "",
+ __assert_program_name ? ": " : "",
+ file, line,
+ function ? function : "", function ? ": " : "",
+ strerror (errnum));
+ (void) fflush (stderr);
+
+ abort ();
+}
diff --git a/assert/assert.c b/assert/assert.c
new file mode 100644
index 0000000000..9da9e22be4
--- /dev/null
+++ b/assert/assert.c
@@ -0,0 +1,83 @@
+/* Copyright (C) 1991, 1994, 1995 Free Software Foundation, Inc.
+This file is part of the GNU C Library.
+
+The GNU C Library is free software; you can redistribute it and/or
+modify it under the terms of the GNU Library General Public License as
+published by the Free Software Foundation; either version 2 of the
+License, or (at your option) any later version.
+
+The GNU C Library is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+Library General Public License for more details.
+
+You should have received a copy of the GNU Library General Public
+License along with the GNU C Library; see the file COPYING.LIB. If
+not, write to the Free Software Foundation, Inc., 675 Mass Ave,
+Cambridge, MA 02139, USA. */
+
+#include <ansidecl.h>
+#include <assert.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <sysdep.h>
+
+
+CONST char *__assert_program_name;
+
+/* This function, when passed a string containing an asserted
+ expression, a filename, and a line number, prints a message
+ on the standard error stream of the form:
+ a.c:10: foobar: Assertion `a == b' failed.
+ It then aborts program execution via a call to `abort'. */
+
+#ifdef FATAL_PREPARE_INCLUDE
+#include FATAL_PREPARE_INCLUDE
+#endif
+
+void
+DEFUN(__assert_fail, (assertion, file, line, function),
+ CONST char *assertion AND
+ CONST char *file AND unsigned int line AND CONST char *function)
+{
+#ifdef FATAL_PREPARE
+ FATAL_PREPARE;
+#endif
+
+ /* Print the message. */
+ (void) fprintf (stderr, "%s%s%s:%u: %s%sAssertion `%s' failed.\n",
+ __assert_program_name ? __assert_program_name : "",
+ __assert_program_name ? ": " : "",
+ file, line,
+ function ? function : "", function ? ": " : "",
+ assertion);
+ (void) fflush (stderr);
+
+ abort ();
+}
+
+#ifdef HAVE_GNU_LD
+
+#include <string.h>
+
+static void
+DEFUN(set_progname, (argc, argv, envp),
+ int argc AND char **argv AND char **envp)
+{
+ char *p;
+
+ if (argv && argv[0])
+ {
+ p = strrchr (argv[0], '/');
+ if (p == NULL)
+ __assert_program_name = argv[0];
+ else
+ __assert_program_name = p + 1;
+ }
+
+ (void) &set_progname; /* Avoid "defined but not used" warning. */
+}
+
+text_set_element (__libc_subinit, set_progname);
+
+#endif
diff --git a/assert/assert.h b/assert/assert.h
new file mode 100644
index 0000000000..7f7fc7f733
--- /dev/null
+++ b/assert/assert.h
@@ -0,0 +1,98 @@
+/* Copyright (C) 1991, 1992, 1994, 1995 Free Software Foundation, Inc.
+This file is part of the GNU C Library.
+
+The GNU C Library is free software; you can redistribute it and/or
+modify it under the terms of the GNU Library General Public License as
+published by the Free Software Foundation; either version 2 of the
+License, or (at your option) any later version.
+
+The GNU C Library is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+Library General Public License for more details.
+
+You should have received a copy of the GNU Library General Public
+License along with the GNU C Library; see the file COPYING.LIB. If
+not, write to the, 1992 Free Software Foundation, Inc., 675 Mass Ave,
+Cambridge, MA 02139, USA. */
+
+/*
+ * ANSI Standard: 4.2 DIAGNOSTICS <assert.h>
+ */
+
+#ifdef _ASSERT_H
+
+#undef _ASSERT_H
+#undef assert
+
+#endif /* assert.h */
+
+#define _ASSERT_H 1
+#include <features.h>
+
+/* void assert (int expression);
+
+ If NDEBUG is defined, do nothing.
+ If not, and EXPRESSION is zero, print an error message and abort. */
+
+#ifdef NDEBUG
+
+#define assert(expr) ((void) 0)
+
+/* void assert_perror (int errnum);
+
+ If NDEBUG is defined, do nothing. If not, and ERRNUM is not zero, print an
+ error message with the error text for ERRNUM and abort.
+ (This is a GNU extension.) */
+
+#ifdef __USE_GNU
+#define assert_perror(errnum) ((void) 0)
+#endif
+
+#else /* Not NDEBUG. */
+
+#include <sys/cdefs.h>
+
+__BEGIN_DECLS
+
+/* This prints an "Assertion failed" message and aborts. */
+extern void __assert_fail __P ((__const char *__assertion,
+ __const char *__file,
+ unsigned int __line,
+ __const char *__function))
+ __attribute__ ((__noreturn__));
+
+/* Likewise, but prints the error text for ERRNUM. */
+extern void __assert_perror_fail __P ((int __errnum,
+ __const char *__file,
+ unsigned int __line,
+ __const char *__function))
+ __attribute__ ((__noreturn__));
+
+__END_DECLS
+
+#define assert(expr) \
+ ((void) ((expr) || \
+ (__assert_fail (__STRING(expr), \
+ __FILE__, __LINE__, __ASSERT_FUNCTION), 0)))
+
+#ifdef __USE_GNU
+#define assert_perror(errnum) \
+ ((void) ((errnum) && (__assert_perror_fail ((errnum), \
+ __FILE__, __LINE__, \
+ __ASSERT_FUNCTION), 0)))
+#endif
+
+/* Version 2.4 and later of GCC define a magical variable `__PRETTY_FUNCTION__'
+ which contains the name of the function currently being defined.
+ This is broken in G++ before version 2.6. */
+#if (!defined (__GNUC__) || __GNUC__ < 2 || \
+ __GNUC_MINOR__ < (defined (__cplusplus) ? 6 : 4))
+#define __ASSERT_FUNCTION ((__const char *) 0)
+#else
+#define __ASSERT_FUNCTION __PRETTY_FUNCTION__
+#endif
+
+
+#endif /* NDEBUG. */
+