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 */ 79