1 /* $NetBSD: assertions.c,v 1.7 2011/09/16 16:05:58 joerg Exp $ */
2
3 /*
4 * Copyright (C) 2004, 2005, 2008 Internet Systems Consortium, Inc. ("ISC")
5 * Copyright (C) 1997, 1999, 2001 Internet Software Consortium.
6 *
7 * Permission to use, copy, modify, and/or distribute this software for any
8 * purpose with or without fee is hereby granted, provided that the above
9 * copyright notice and this permission notice appear in all copies.
10 *
11 * THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH
12 * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
13 * AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT,
14 * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
15 * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
16 * OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
17 * PERFORMANCE OF THIS SOFTWARE.
18 */
19
20 #include <sys/cdefs.h>
21 #if !defined(LINT) && !defined(CODECENTER) && !defined(lint)
22 #ifdef notdef
23 static const char rcsid[] = "Id: assertions.c,v 1.5 2008/11/14 02:36:51 marka Exp";
24 #else
25 __RCSID("$NetBSD: assertions.c,v 1.7 2011/09/16 16:05:58 joerg Exp $");
26 #endif
27 #endif
28
29 #include "port_before.h"
30
31 #include <errno.h>
32 #include <stdio.h>
33 #include <stdlib.h>
34 #include <string.h>
35
36 #include <isc/assertions.h>
37
38 #include "port_after.h"
39
40 /*
41 * Forward.
42 */
43
44 __dead static void default_assertion_failed(const char *, int, assertion_type,
45 const char *, int);
46
47 /*
48 * Public.
49 */
50
51 assertion_failure_callback __assertion_failed = default_assertion_failed;
52
53 void
set_assertion_failure_callback(assertion_failure_callback f)54 set_assertion_failure_callback(assertion_failure_callback f) {
55 if (f == NULL)
56 __assertion_failed = default_assertion_failed;
57 else
58 __assertion_failed = f;
59 }
60
61 const char *
assertion_type_to_text(assertion_type type)62 assertion_type_to_text(assertion_type type) {
63 const char *result;
64
65 switch (type) {
66 case assert_require:
67 result = "REQUIRE";
68 break;
69 case assert_ensure:
70 result = "ENSURE";
71 break;
72 case assert_insist:
73 result = "INSIST";
74 break;
75 case assert_invariant:
76 result = "INVARIANT";
77 break;
78 default:
79 result = NULL;
80 }
81 return (result);
82 }
83
84 /*
85 * Private.
86 */
87
88 /* coverity[+kill] */
89 static void
default_assertion_failed(const char * file,int line,assertion_type type,const char * cond,int print_errno)90 default_assertion_failed(const char *file, int line, assertion_type type,
91 const char *cond, int print_errno)
92 {
93 fprintf(stderr, "%s:%d: %s(%s)%s%s failed.\n",
94 file, line, assertion_type_to_text(type), cond,
95 (print_errno) ? ": " : "",
96 (print_errno) ? strerror(errno) : "");
97 abort();
98 /* NOTREACHED */
99 }
100
101 /*! \file */
102