2fe8fb192f
There is important information about booting non-ack images in docs/UPDATING. ack/aout-format images can't be built any more, and booting clang/ELF-format ones is a little different. Updating to the new boot monitor is recommended. Changes in this commit: . drop boot monitor -> allowing dropping ack support . facility to copy ELF boot files to /boot so that old boot monitor can still boot fairly easily, see UPDATING . no more ack-format libraries -> single-case libraries . some cleanup of OBJECT_FMT, COMPILER_TYPE, etc cases . drop several ack toolchain commands, but not all support commands (e.g. aal is gone but acksize is not yet). . a few libc files moved to netbsd libc dir . new /bin/date as minix date used code in libc/ . test compile fix . harmonize includes . /usr/lib is no longer special: without ack, /usr/lib plays no kind of special bootstrapping role any more and bootstrapping is done exclusively through packages, so releases depend even less on the state of the machine making them now. . rename nbsd_lib* to lib* . reduce mtree
133 lines
3.7 KiB
C
133 lines
3.7 KiB
C
/* $NetBSD: assertions.h,v 1.5 2009/04/12 17:07:16 christos Exp $ */
|
|
|
|
/*
|
|
* Copyright (C) 2004, 2005, 2008 Internet Systems Consortium, Inc. ("ISC")
|
|
* Copyright (C) 1997-2001 Internet Software Consortium.
|
|
*
|
|
* Permission to use, copy, modify, and/or distribute this software for any
|
|
* purpose with or without fee is hereby granted, provided that the above
|
|
* copyright notice and this permission notice appear in all copies.
|
|
*
|
|
* THE SOFTWARE IS PROVIDED "AS IS" AND ISC DISCLAIMS ALL WARRANTIES WITH
|
|
* REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY
|
|
* AND FITNESS. IN NO EVENT SHALL ISC BE LIABLE FOR ANY SPECIAL, DIRECT,
|
|
* INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM
|
|
* LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE
|
|
* OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
|
|
* PERFORMANCE OF THIS SOFTWARE.
|
|
*/
|
|
|
|
/*
|
|
* Id: assertions.h,v 1.5 2008/11/14 02:36:51 marka Exp
|
|
*/
|
|
|
|
#ifndef ASSERTIONS_H
|
|
#define ASSERTIONS_H 1
|
|
|
|
typedef enum {
|
|
assert_require, assert_ensure, assert_insist, assert_invariant
|
|
} assertion_type;
|
|
|
|
typedef void (*assertion_failure_callback)(const char *, int, assertion_type,
|
|
const char *, int);
|
|
|
|
/* coverity[+kill] */
|
|
extern assertion_failure_callback __assertion_failed;
|
|
void set_assertion_failure_callback(assertion_failure_callback f);
|
|
const char *assertion_type_to_text(assertion_type type);
|
|
|
|
#if defined(CHECK_ALL) || defined(__COVERITY__)
|
|
#define CHECK_REQUIRE 1
|
|
#define CHECK_ENSURE 1
|
|
#define CHECK_INSIST 1
|
|
#define CHECK_INVARIANT 1
|
|
#endif
|
|
|
|
#if defined(CHECK_NONE) && !defined(__COVERITY__)
|
|
#define CHECK_REQUIRE 0
|
|
#define CHECK_ENSURE 0
|
|
#define CHECK_INSIST 0
|
|
#define CHECK_INVARIANT 0
|
|
#endif
|
|
|
|
#ifdef _DIAGNOSTIC
|
|
#ifndef CHECK_REQUIRE
|
|
#define CHECK_REQUIRE 1
|
|
#endif
|
|
|
|
#ifndef CHECK_ENSURE
|
|
#define CHECK_ENSURE 1
|
|
#endif
|
|
|
|
#ifndef CHECK_INSIST
|
|
#define CHECK_INSIST 1
|
|
#endif
|
|
|
|
#ifndef CHECK_INVARIANT
|
|
#define CHECK_INVARIANT 1
|
|
#endif
|
|
#endif /* _DIAGNOSTIC */
|
|
|
|
#if CHECK_REQUIRE != 0
|
|
#define REQUIRE(cond) \
|
|
((void) ((cond) || \
|
|
((__assertion_failed)(__FILE__, __LINE__, assert_require, \
|
|
#cond, 0), 0)))
|
|
#define REQUIRE_ERR(cond) \
|
|
((void) ((cond) || \
|
|
((__assertion_failed)(__FILE__, __LINE__, assert_require, \
|
|
#cond, 1), 0)))
|
|
#else
|
|
#define REQUIRE(cond) ((void) (cond))
|
|
#define REQUIRE_ERR(cond) ((void) (cond))
|
|
#endif /* CHECK_REQUIRE */
|
|
|
|
#if CHECK_ENSURE != 0
|
|
#define ENSURE(cond) \
|
|
((void) ((cond) || \
|
|
((__assertion_failed)(__FILE__, __LINE__, assert_ensure, \
|
|
#cond, 0), 0)))
|
|
#define ENSURE_ERR(cond) \
|
|
((void) ((cond) || \
|
|
((__assertion_failed)(__FILE__, __LINE__, assert_ensure, \
|
|
#cond, 1), 0)))
|
|
#else
|
|
#define ENSURE(cond) ((void) (cond))
|
|
#define ENSURE_ERR(cond) ((void) (cond))
|
|
#endif /* CHECK_ENSURE */
|
|
|
|
#if CHECK_INSIST != 0
|
|
#define INSIST(cond) \
|
|
((void) ((cond) || \
|
|
((__assertion_failed)(__FILE__, __LINE__, assert_insist, \
|
|
#cond, 0), 0)))
|
|
#define INSIST_ERR(cond) \
|
|
((void) ((cond) || \
|
|
((__assertion_failed)(__FILE__, __LINE__, assert_insist, \
|
|
#cond, 1), 0)))
|
|
#else
|
|
#if !defined(__lint__)
|
|
#define INSIST(cond) ((void) (cond))
|
|
#define INSIST_ERR(cond) ((void) (cond))
|
|
#else /* !__lint__ */
|
|
#define INSIST(cond)
|
|
#define INSIST_ERR(cond)
|
|
#endif /* !__lint__ */
|
|
#endif /* CHECK_INSIST */
|
|
|
|
#if CHECK_INVARIANT != 0
|
|
#define INVARIANT(cond) \
|
|
((void) ((cond) || \
|
|
((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \
|
|
#cond, 0), 0)))
|
|
#define INVARIANT_ERR(cond) \
|
|
((void) ((cond) || \
|
|
((__assertion_failed)(__FILE__, __LINE__, assert_invariant, \
|
|
#cond, 1), 0)))
|
|
#else
|
|
#define INVARIANT(cond) ((void) (cond))
|
|
#define INVARIANT_ERR(cond) ((void) (cond))
|
|
#endif /* CHECK_INVARIANT */
|
|
#endif /* ASSERTIONS_H */
|
|
/*! \file */
|