lib/libc/gen/assert.c

   1 /*-
   2  * Copyright (c) 1992, 1993
   3  *      The Regents of the University of California.  All rights reserved.
   4  *
   5  * Redistribution and use in source and binary forms, with or without
   6  * modification, are permitted provided that the following conditions
   7  * are met:
   8  * 1. Redistributions of source code must retain the above copyright
   9  *    notice, this list of conditions and the following disclaimer.
  10  * 2. Redistributions in binary form must reproduce the above copyright
  11  *    notice, this list of conditions and the following disclaimer in the
  12  *    documentation and/or other materials provided with the distribution.
  13  * 3. Neither the name of the University nor the names of its contributors
  14  *    may be used to endorse or promote products derived from this software
  15  *    without specific prior written permission.
  16  *
  17  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
  18  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  19  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  20  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
  21  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  22  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  23  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  24  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  25  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  26  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  27  * SUCH DAMAGE.
  28  *
  29  * @(#)assert.c 8.1 (Berkeley) 6/4/93
  30  * $FreeBSD: src/lib/libc/gen/assert.c,v 1.8 2007/01/09 00:27:53 imp Exp $
  31  */
  32
  33 #include "namespace.h"
  34 #include <sys/syslog.h>
  35 #include <assert.h>
  36 #include <stdio.h>
  37 #include <stdlib.h>
  38 #include "un-namespace.h"
  39
  40 void
  41 __assert(const char *func, const char *file, int line, const char *failedexpr)
  42 {
  43         if (func == NULL) {
  44                 fprintf(stderr,
  45                      "Assertion failed: (%s), file %s, line %d.\n", failedexpr,
  46                      file, line);
  47         } else {
  48                 fprintf(stderr,
  49                      "Assertion failed: (%s), function %s, file %s, line %d.\n",
  50                      failedexpr, func, file, line);
  51         }
  52         abort();
  53         /* NOTREACHED */
  54 }
  55
  56 enum {
  57         DIAGASSERT_ABORT =      1<<0,
  58         DIAGASSERT_STDERR =     1<<1,
  59         DIAGASSERT_SYSLOG =     1<<2
  60 };
  61
  62 static int      diagassert_flags = -1;
  63
  64 void
  65 __diagassert(const char *file, int line, const char *function,
  66              const char *failedexpr)
  67 {
  68         char buf[1024];
  69
  70         if (diagassert_flags == -1) {
  71                 const char *p;
  72
  73                 diagassert_flags = DIAGASSERT_SYSLOG | DIAGASSERT_ABORT;
  74
  75                 for (p = getenv("LIBC_DIAGASSERT"); p && *p; p++) {
  76                         switch (*p) {
  77                         case 'a':
  78                                 diagassert_flags |= DIAGASSERT_ABORT;
  79                                 break;
  80                         case 'A':
  81                                 diagassert_flags &= ~DIAGASSERT_ABORT;
  82                                 break;
  83                         case 'e':
  84                                 diagassert_flags |= DIAGASSERT_STDERR;
  85                                 break;
  86                         case 'E':
  87                                 diagassert_flags &= ~DIAGASSERT_STDERR;
  88                                 break;
  89                         case 'l':
  90                                 diagassert_flags |= DIAGASSERT_SYSLOG;
  91                                 break;
  92                         case 'L':
  93                                 diagassert_flags &= ~DIAGASSERT_SYSLOG;
  94                                 break;
  95                         }
  96                 }
  97         }
  98
  99         snprintf(buf, sizeof(buf),
 100                  "assertion \"%s\" failed: file \"%s\", line %d, function \"%s\"",
 101                  failedexpr, file, line, function);
 102         if (diagassert_flags & DIAGASSERT_STDERR)
 103                 fprintf(stderr, "%s: %s\n", _getprogname(), buf);
 104         if (diagassert_flags & DIAGASSERT_SYSLOG)
 105                 syslog(LOG_DEBUG | LOG_USER, "%s", buf);
 106         if (diagassert_flags & DIAGASSERT_ABORT)
 107                 abort();
 108 }