contrib/atf/atf-c/detail/sanity.h

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