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