1/* 2 * Copyright (C) Internet Systems Consortium, Inc. ("ISC") 3 * 4 * Permission to use, copy, modify, and/or distribute this software for any 5 * purpose with or without fee is hereby granted, provided that the above 6 * copyright notice and this permission notice appear in all copies. 7 * 8 * THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH 9 * REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY 10 * AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT, 11 * INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM 12 * LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE 13 * OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR 14 * PERFORMANCE OF THIS SOFTWARE. 15 */ 16 17/* $Id: assertions.c,v 1.5 2020/02/25 05:00:43 jsg Exp $ */ 18 19/*! \file */ 20 21#include <stdio.h> 22#include <stdlib.h> 23 24#include <isc/assertions.h> 25 26/*% 27 * Forward. 28 */ 29static void 30default_callback(const char *, int, isc_assertiontype_t, const char *); 31 32static isc_assertioncallback_t isc_assertion_failed_cb = default_callback; 33 34/*% 35 * Public. 36 */ 37 38/*% assertion failed handler */ 39void 40isc_assertion_failed(const char *file, int line, isc_assertiontype_t type, 41 const char *cond) 42{ 43 isc_assertion_failed_cb(file, line, type, cond); 44 abort(); 45 /* NOTREACHED */ 46} 47 48/*% Type to Text */ 49const char * 50isc_assertion_typetotext(isc_assertiontype_t type) { 51 const char *result; 52 53 /* 54 * These strings have purposefully not been internationalized 55 * because they are considered to essentially be keywords of 56 * the ISC development environment. 57 */ 58 switch (type) { 59 case isc_assertiontype_require: 60 result = "REQUIRE"; 61 break; 62 case isc_assertiontype_ensure: 63 result = "ENSURE"; 64 break; 65 case isc_assertiontype_insist: 66 result = "INSIST"; 67 break; 68 case isc_assertiontype_invariant: 69 result = "INVARIANT"; 70 break; 71 default: 72 result = NULL; 73 } 74 return (result); 75} 76 77/* 78 * Private. 79 */ 80 81static void 82default_callback(const char *file, int line, isc_assertiontype_t type, 83 const char *cond) 84{ 85 fprintf(stderr, "%s:%d: %s(%s) %s\n", 86 file, line, isc_assertion_typetotext(type), cond, "failed"); 87 fflush(stderr); 88} 89