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

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