1bf55edc7SPawel Jakub Dawidek /*- 2bf55edc7SPawel Jakub Dawidek * Copyright (c) 2009 Pawel Jakub Dawidek <pjd@FreeBSD.org> 3bf55edc7SPawel Jakub Dawidek * All rights reserved. 4bf55edc7SPawel Jakub Dawidek * 5bf55edc7SPawel Jakub Dawidek * Redistribution and use in source and binary forms, with or without 6bf55edc7SPawel Jakub Dawidek * modification, are permitted provided that the following conditions 7bf55edc7SPawel Jakub Dawidek * are met: 8bf55edc7SPawel Jakub Dawidek * 1. Redistributions of source code must retain the above copyright 9bf55edc7SPawel Jakub Dawidek * notice, this list of conditions and the following disclaimer. 10bf55edc7SPawel Jakub Dawidek * 2. Redistributions in binary form must reproduce the above copyright 11bf55edc7SPawel Jakub Dawidek * notice, this list of conditions and the following disclaimer in the 12bf55edc7SPawel Jakub Dawidek * documentation and/or other materials provided with the distribution. 13bf55edc7SPawel Jakub Dawidek * 14bf55edc7SPawel Jakub Dawidek * THIS SOFTWARE IS PROVIDED BY THE AUTHORS AND CONTRIBUTORS ``AS IS'' AND 15bf55edc7SPawel Jakub Dawidek * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 16bf55edc7SPawel Jakub Dawidek * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 17bf55edc7SPawel Jakub Dawidek * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHORS OR CONTRIBUTORS BE LIABLE 18bf55edc7SPawel Jakub Dawidek * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 19bf55edc7SPawel Jakub Dawidek * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 20bf55edc7SPawel Jakub Dawidek * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 21bf55edc7SPawel Jakub Dawidek * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 22bf55edc7SPawel Jakub Dawidek * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 23bf55edc7SPawel Jakub Dawidek * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 24bf55edc7SPawel Jakub Dawidek * SUCH DAMAGE. 25bf55edc7SPawel Jakub Dawidek * 26bf55edc7SPawel Jakub Dawidek * $FreeBSD$ 27bf55edc7SPawel Jakub Dawidek */ 28bf55edc7SPawel Jakub Dawidek 29bf55edc7SPawel Jakub Dawidek #undef assert 30bf55edc7SPawel Jakub Dawidek #undef _assert 31bf55edc7SPawel Jakub Dawidek 32bf55edc7SPawel Jakub Dawidek #ifdef NDEBUG 33bf55edc7SPawel Jakub Dawidek #define assert(e) ((void)0) 34bf55edc7SPawel Jakub Dawidek #define _assert(e) ((void)0) 35bf55edc7SPawel Jakub Dawidek #else 36bf55edc7SPawel Jakub Dawidek #define _assert(e) assert(e) 37bf55edc7SPawel Jakub Dawidek 38bf55edc7SPawel Jakub Dawidek #define assert(e) ((e) ? (void)0 : __assert(#e, __FILE__, __LINE__)) 39bf55edc7SPawel Jakub Dawidek #endif /* NDEBUG */ 40bf55edc7SPawel Jakub Dawidek 41bf55edc7SPawel Jakub Dawidek #ifndef _ASSERT_H_ 42bf55edc7SPawel Jakub Dawidek #define _ASSERT_H_ 43bf55edc7SPawel Jakub Dawidek #include <stdio.h> 44bf55edc7SPawel Jakub Dawidek #include <stdlib.h> 45bf55edc7SPawel Jakub Dawidek 46bf55edc7SPawel Jakub Dawidek static __inline void 47bf55edc7SPawel Jakub Dawidek __assert(const char *expr, const char *file, int line) 48bf55edc7SPawel Jakub Dawidek { 49bf55edc7SPawel Jakub Dawidek 50bf55edc7SPawel Jakub Dawidek (void)fprintf(stderr, "Assertion failed: (%s), file %s, line %d.\n", 51bf55edc7SPawel Jakub Dawidek expr, file, line); 52bf55edc7SPawel Jakub Dawidek abort(); 53bf55edc7SPawel Jakub Dawidek /* NOTREACHED */ 54bf55edc7SPawel Jakub Dawidek } 55bf55edc7SPawel Jakub Dawidek #endif /* !_ASSERT_H_ */ 56