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 } 108