mirror of
https://github.com/isc-projects/bind9.git
synced 2026-02-28 20:41:18 -05:00
04d0b70ba2
C11 has builtin support for _Noreturn function specifier with convenience noreturn macro defined in <stdnoreturn.h> header. Replace ISC_NORETURN macro by C11 noreturn with fallback to __attribute__((noreturn)) if the C11 support is not complete.
73 lines
2.3 KiB
C
73 lines
2.3 KiB
C
/*
|
|
* Copyright (C) Internet Systems Consortium, Inc. ("ISC")
|
|
*
|
|
* SPDX-License-Identifier: MPL-2.0
|
|
*
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, you can obtain one at https://mozilla.org/MPL/2.0/.
|
|
*
|
|
* See the COPYRIGHT file distributed with this work for additional
|
|
* information regarding copyright ownership.
|
|
*/
|
|
|
|
/*! \file isc/assertions.h
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <isc/attributes.h>
|
|
#include <isc/lang.h>
|
|
|
|
ISC_LANG_BEGINDECLS
|
|
|
|
/*% isc assertion type */
|
|
typedef enum {
|
|
isc_assertiontype_require,
|
|
isc_assertiontype_ensure,
|
|
isc_assertiontype_insist,
|
|
isc_assertiontype_invariant
|
|
} isc_assertiontype_t;
|
|
|
|
typedef void (*isc_assertioncallback_t)(const char *, int, isc_assertiontype_t,
|
|
const char *);
|
|
|
|
/* coverity[+kill] */
|
|
noreturn void
|
|
isc_assertion_failed(const char *, int, isc_assertiontype_t, const char *);
|
|
|
|
void isc_assertion_setcallback(isc_assertioncallback_t);
|
|
|
|
const char *
|
|
isc_assertion_typetotext(isc_assertiontype_t type);
|
|
|
|
#define ISC_REQUIRE(cond) \
|
|
((void)((cond) || \
|
|
((isc_assertion_failed)(__FILE__, __LINE__, \
|
|
isc_assertiontype_require, #cond), \
|
|
0)))
|
|
|
|
#define ISC_ENSURE(cond) \
|
|
((void)((cond) || \
|
|
((isc_assertion_failed)(__FILE__, __LINE__, \
|
|
isc_assertiontype_ensure, #cond), \
|
|
0)))
|
|
|
|
#define ISC_INSIST(cond) \
|
|
((void)((cond) || \
|
|
((isc_assertion_failed)(__FILE__, __LINE__, \
|
|
isc_assertiontype_insist, #cond), \
|
|
0)))
|
|
|
|
#define ISC_INVARIANT(cond) \
|
|
((void)((cond) || \
|
|
((isc_assertion_failed)(__FILE__, __LINE__, \
|
|
isc_assertiontype_invariant, #cond), \
|
|
0)))
|
|
|
|
#define ISC_UNREACHABLE() \
|
|
(isc_assertion_failed(__FILE__, __LINE__, isc_assertiontype_insist, \
|
|
"unreachable"), \
|
|
__builtin_unreachable())
|
|
|
|
ISC_LANG_ENDDECLS
|