149Salm/* $NetBSD: assert.c,v 1.18 2017/05/15 16:09:09 christos Exp $ */ 249Salm 349Salm/*- 449Salm * Copyright (c) 1992, 1993 549Salm * The Regents of the University of California. All rights reserved. 6 * 7 * Redistribution and use in source and binary forms, with or without 8 * modification, are permitted provided that the following conditions 9 * are met: 10 * 1. Redistributions of source code must retain the above copyright 11 * notice, this list of conditions and the following disclaimer. 12 * 2. Redistributions in binary form must reproduce the above copyright 13 * notice, this list of conditions and the following disclaimer in the 14 * documentation and/or other materials provided with the distribution. 15 * 3. Neither the name of the University nor the names of its contributors 16 * may be used to endorse or promote products derived from this software 17 * without specific prior written permission. 18 * 19 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 20 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 21 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 22 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 23 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 24 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 25 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 26 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 27 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 28 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 29 * SUCH DAMAGE. 30 */ 31 32#include <sys/cdefs.h> 33#if defined(LIBC_SCCS) && !defined(lint) 34#if 0 35static char sccsid[] = "@(#)assert.c 8.1 (Berkeley) 6/4/93"; 36#else 37__RCSID("$NetBSD: assert.c,v 1.18 2017/05/15 16:09:09 christos Exp $"); 38#endif 39#endif /* LIBC_SCCS and not lint */ 40 41#include "namespace.h" 42#include <sys/types.h> 43 44#include <assert.h> 45#include <stdio.h> 46#include <stdlib.h> 47#include <unistd.h> 48#include <syslog.h> 49#include "extern.h" 50 51static int 52fmtassert(char *buf, size_t len, const char *file, int line, 53 const char *function, const char *failedexpr) 54{ 55 return snprintf_ss(buf, len, 56 "assertion \"%s\" failed: file \"%s\", line %d%s%s%s\n", 57 failedexpr, file, line, 58 function ? ", function \"" : "", 59 function ? function : "", 60 function ? "\"" : ""); 61} 62 63void 64__assert13(const char *file, int line, const char *function, 65 const char *failedexpr) 66{ 67 char buf[1024]; 68 int l = fmtassert(buf, sizeof(buf), file, line, function, failedexpr); 69 if (l < 0) 70 abort(); 71 (void)write(STDERR_FILENO, buf, (size_t)l); 72 abort(); 73 /* NOTREACHED */ 74} 75 76void 77__assert(const char *file, int line, const char *failedexpr) 78{ 79 80 __assert13(file, line, NULL, failedexpr); 81 /* NOTREACHED */ 82} 83 84 85enum { 86 DIAGASSERT_ABORT = 1<<0, 87 DIAGASSERT_STDERR = 1<<1, 88 DIAGASSERT_SYSLOG = 1<<2 89}; 90 91static int diagassert_flags = -1; 92 93void 94__diagassert13(const char *file, int line, const char *function, 95 const char *failedexpr) 96{ 97 char buf[1024]; 98 99 if (diagassert_flags == -1) { 100 char *p; 101 102 diagassert_flags = DIAGASSERT_SYSLOG; 103 104 for (p = getenv("LIBC_DIAGASSERT"); p && *p; p++) { 105 switch (*p) { 106 case 'a': 107 diagassert_flags |= DIAGASSERT_ABORT; 108 break; 109 case 'A': 110 diagassert_flags &= ~DIAGASSERT_ABORT; 111 break; 112 case 'e': 113 diagassert_flags |= DIAGASSERT_STDERR; 114 break; 115 case 'E': 116 diagassert_flags &= ~DIAGASSERT_STDERR; 117 break; 118 case 'l': 119 diagassert_flags |= DIAGASSERT_SYSLOG; 120 break; 121 case 'L': 122 diagassert_flags &= ~DIAGASSERT_SYSLOG; 123 break; 124 } 125 } 126 } 127 128 fmtassert(buf, sizeof(buf), file, line, function, failedexpr); 129 if (diagassert_flags & DIAGASSERT_STDERR) { 130 char ebuf[1024]; 131 int l = snprintf_ss(ebuf, sizeof(ebuf), "%s: %s\n", 132 getprogname(), buf); 133 if (l == -1) 134 abort(); 135 (void)write(STDERR_FILENO, ebuf, (size_t)l); 136 } 137 if (diagassert_flags & DIAGASSERT_SYSLOG) { 138 struct syslog_data sdata = SYSLOG_DATA_INIT; 139 syslog_ss(LOG_DEBUG | LOG_USER, &sdata, "%s", buf); 140 } 141 if (diagassert_flags & DIAGASSERT_ABORT) 142 abort(); 143} 144 145void 146__diagassert(const char *file, int line, const char *failedexpr) 147{ 148 149 __diagassert13(file, line, NULL, failedexpr); 150} 151