external/bsd/bind/dist/unit/atf-src/atf-c/detail/sanity.h

   1 /*      $NetBSD: sanity.h,v 1.4 2014/12/10 04:38:03 christos Exp $      */
   2
   3 /*
   4  * Automated Testing Framework (atf)
   5  *
   6  * Copyright (c) 2008 The NetBSD Foundation, Inc.
   7  * All rights reserved.
   8  *
   9  * Redistribution and use in source and binary forms, with or without
  10  * modification, are permitted provided that the following conditions
  11  * are met:
  12  * 1. Redistributions of source code must retain the above copyright
  13  *    notice, this list of conditions and the following disclaimer.
  14  * 2. Redistributions in binary form must reproduce the above copyright
  15  *    notice, this list of conditions and the following disclaimer in the
  16  *    documentation and/or other materials provided with the distribution.
  17  *
  18  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND
  19  * CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES,
  20  * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
  21  * MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  22  * IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY
  23  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  24  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE
  25  * GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
  26  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
  27  * IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
  28  * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
  29  * IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  30  */
  31
  32 #if !defined(ATF_C_SANITY_H)
  33 #define ATF_C_SANITY_H
  34
  35 void atf_sanity_inv(const char *, int, const char *);
  36 void atf_sanity_pre(const char *, int, const char *);
  37 void atf_sanity_post(const char *, int, const char *);
  38
  39 #if !defined(NDEBUG)
  40
  41 #define INV(x) \
  42     do { \
  43         if (!(x)) \
  44             atf_sanity_inv(__FILE__, __LINE__, #x); \
  45     } while (/*CONSTCOND*/0)
  46 #define PRE(x) \
  47     do { \
  48         if (!(x)) \
  49             atf_sanity_pre(__FILE__, __LINE__, #x); \
  50     } while (/*CONSTCOND*/0)
  51 #define POST(x) \
  52     do { \
  53         if (!(x)) \
  54             atf_sanity_post(__FILE__, __LINE__, #x); \
  55     } while (/*CONSTCOND*/0)
  56
  57 #else /* defined(NDEBUG) */
  58
  59 #define INV(x) \
  60     do { \
  61         (void)(x); \
  62     } while (/*CONSTCOND*/0)
  63
  64 #define PRE(x) \
  65     do { \
  66         (void)(x); \
  67     } while (/*CONSTCOND*/0)
  68
  69 #define POST(x) \
  70     do { \
  71         (void)(x); \
  72     } while (/*CONSTCOND*/0)
  73
  74 #endif /* !defined(NDEBUG) */
  75
  76 #define UNREACHABLE INV(0)
  77
  78 #endif /* ATF_C_SANITY_H */