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 23static 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 51assertion_failure_callback __assertion_failed = default_assertion_failed; 52 53void 54set_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 61const char * 62assertion_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] */ 89static void 90default_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