aboutsummaryrefslogtreecommitdiff
path: root/assert/assert.c
diff options
context:
space:
mode:
Diffstat (limited to 'assert/assert.c')
-rw-r--r--assert/assert.c112
1 files changed, 14 insertions, 98 deletions
diff --git a/assert/assert.c b/assert/assert.c
index d21d76f..796f6bd 100644
--- a/assert/assert.c
+++ b/assert/assert.c
@@ -15,115 +15,31 @@
License along with the GNU C Library; if not, see
<https://www.gnu.org/licenses/>. */
+#include <array_length.h>
#include <intprops.h>
#include <ldsodefs.h>
#include <libc-pointer-arith.h>
#include <libintl.h>
-#include <libio/iolibio.h>
-#include <setvmaname.h>
-#include <sys/uio.h>
-#include <unistd.h>
+#include <stdio.h>
extern const char *__progname;
-#define fflush(s) _IO_fflush (s)
-
-/* 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
-__assert_fail_base (const char *fmt, const char *assertion, const char *file,
- unsigned int line, const char *function)
-{
- char *str;
-
-#ifdef FATAL_PREPARE
- FATAL_PREPARE;
-#endif
-
- int total = __asprintf (&str, fmt,
- __progname, __progname[0] ? ": " : "",
- file, line,
- function ? function : "", function ? ": " : "",
- assertion);
- if (total >= 0)
- {
- /* Print the message. */
- (void) __fxprintf (NULL, "%s", str);
- (void) fflush (stderr);
-
- total = ALIGN_UP (total + sizeof (struct abort_msg_s) + 1,
- GLRO(dl_pagesize));
- struct abort_msg_s *buf = __mmap (NULL, total, PROT_READ | PROT_WRITE,
- MAP_ANON | MAP_PRIVATE, -1, 0);
- if (__glibc_likely (buf != MAP_FAILED))
- {
- buf->size = total;
- strcpy (buf->msg, str);
- __set_vma_name (buf, total, " glibc: assert");
-
- /* We have to free the old buffer since the application might
- catch the SIGABRT signal. */
- struct abort_msg_s *old = atomic_exchange_acquire (&__abort_msg, buf);
-
- if (old != NULL)
- __munmap (old, old->size);
- }
-
- free (str);
- }
- else
- {
- /* At least print a minimal message. */
- char linebuf[INT_STRLEN_BOUND (int) + sizeof ":: "];
- struct iovec v[9];
- int i = 0;
-
-#define WS(s) (v[i].iov_len = strlen (v[i].iov_base = (void *) (s)), i++)
-
- if (__progname)
- {
- WS (__progname);
- WS (": ");
- }
-
- WS (file);
- v[i++] = (struct iovec) {.iov_base = linebuf,
- .iov_len = sprintf (linebuf, ":%d: ", line)};
-
- if (function)
- {
- WS (function);
- WS (": ");
- }
-
- WS ("Assertion `");
- WS (assertion);
- /* We omit the '.' here so that the assert tests can tell when
- this code path is taken. */
- WS ("' failed\n");
-
- (void) __writev (STDERR_FILENO, v, i);
- }
-
- abort ();
-}
-
-
#undef __assert_fail
void
__assert_fail (const char *assertion, const char *file, unsigned int line,
const char *function)
{
- __assert_fail_base (_("%s%s%s:%u: %s%sAssertion `%s' failed.\n"),
- assertion, file, line, function);
+ char linebuf[INT_BUFSIZE_BOUND (unsigned int)];
+ array_end (linebuf)[-1] = '\0';
+ char *linestr = _itoa_word (line, array_end (linebuf) - 1, 10, 0);
+
+ __libc_assert (_("%s%s%s:%s: %s%sAssertion `%s' failed.\n"),
+ __progname,
+ __progname[0] ? ": " : "",
+ file,
+ linestr,
+ function ? function : "",
+ function ? ": " : "",
+ assertion);
}