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  * $DragonFly: src/lib/libc/gen/assert.c,v 1.5 2005/04/26 10:41:57 joerg Exp $
  32  */
  33
  34 #include <sys/syslog.h>
  35 #include <assert.h>
  36 #include <stdio.h>
  37 #include <stdlib.h>
  38
  39 void
  40 __assert(const char *func, const char *file, int line, const char *failedexpr)
  41 {
  42         if (func == NULL) {
  43                 fprintf(stderr,
  44                      "Assertion failed: (%s), file %s, line %d.\n", failedexpr,
  45                      file, line);
  46         } else {
  47                 fprintf(stderr,
  48                      "Assertion failed: (%s), function %s, file %s, line %d.\n",
  49                      failedexpr, func, file, line);
  50         }
  51         abort();
  52         /* NOTREACHED */
  53 }
  54
  55 enum {
  56         DIAGASSERT_ABORT =      1<<0,
  57         DIAGASSERT_STDERR =     1<<1,
  58         DIAGASSERT_SYSLOG =     1<<2
  59 };
  60
  61 static int      diagassert_flags = -1;
  62
  63 void
  64 __diagassert(const char *file, int line, const char *function,
  65              const char *failedexpr)
  66 {
  67         char buf[1024];
  68
  69         if (diagassert_flags == -1) {
  70                 const char *p;
  71
  72                 diagassert_flags = DIAGASSERT_SYSLOG | DIAGASSERT_ABORT;
  73
  74                 for (p = getenv("LIBC_DIAGASSERT"); p && *p; p++) {
  75                         switch (*p) {
  76                         case 'a':
  77                                 diagassert_flags |= DIAGASSERT_ABORT;
  78                                 break;
  79                         case 'A':
  80                                 diagassert_flags &= ~DIAGASSERT_ABORT;
  81                                 break;
  82                         case 'e':
  83                                 diagassert_flags |= DIAGASSERT_STDERR;
  84                                 break;
  85                         case 'E':
  86                                 diagassert_flags &= ~DIAGASSERT_STDERR;
  87                                 break;
  88                         case 'l':
  89                                 diagassert_flags |= DIAGASSERT_SYSLOG;
  90                                 break;
  91                         case 'L':
  92                                 diagassert_flags &= ~DIAGASSERT_SYSLOG;
  93                                 break;
  94                         }
  95                 }
  96         }
  97
  98         snprintf(buf, sizeof(buf),
  99                  "assertion \"%s\" failed: file \"%s\", line %d, function \"%s\"",
 100                  failedexpr, file, line, function);
 101         if (diagassert_flags & DIAGASSERT_STDERR)
 102                 fprintf(stderr, "%s: %s\n", getprogname(), buf);
 103         if (diagassert_flags & DIAGASSERT_SYSLOG)
 104                 syslog(LOG_DEBUG | LOG_USER, "%s", buf);
 105         if (diagassert_flags & DIAGASSERT_ABORT)
 106                 abort();
 107 }