/ payloads / libpayload / include / assert.h
assert.h
 1  /*
 2   *
 3   * Copyright (C) 2011 secunet Security Networks AG
 4   *
 5   * Redistribution and use in source and binary forms, with or without
 6   * modification, are permitted provided that the following conditions
 7   * are met:
 8   * 1. Redistributions of source code must retain the above copyright
 9   *    notice, this list of conditions and the following disclaimer.
10   * 2. Redistributions in binary form must reproduce the above copyright
11   *    notice, this list of conditions and the following disclaimer in the
12   *    documentation and/or other materials provided with the distribution.
13   * 3. The name of the author may not be used to endorse or promote products
14   *    derived from this software without specific prior written permission.
15   *
16   * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17   * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18   * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19   * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20   * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21   * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22   * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23   * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24   * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25   * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26   * SUCH DAMAGE.
27   */
28  
29  #include <stdlib.h>
30  #include <stdio.h>
31  
32  #ifdef __TEST__
33  
34  /* CMocka function redefinition */
35  void mock_assert(const int result, const char *const expression, const char *const file,
36  		 const int line);
37  
38  #define MOCK_ASSERT(result, expression) mock_assert((result), (expression), __FILE__, __LINE__)
39  #define assert(statement) MOCK_ASSERT(!!(statement), #statement)
40  
41  #else
42  
43  // assert's existence depends on NDEBUG state on _last_ inclusion of assert.h,
44  // so don't guard this against double-includes.
45  #ifdef NDEBUG
46  // Heisenbugs appear if statement has side-effects. This could be worked around but does the standard allow for that?
47  #define assert(statement)
48  #else
49  #define assert(statement)					\
50  	if ((statement) == 0) {					\
51  		fprintf(stderr, "assertion failed in file %s, "	\
52  			"function %s(), line %d\n",		\
53  			 __FILE__, __func__, __LINE__);	\
54  		abort();					\
55  	}
56  #endif
57  
58  #endif /* __TEST__ */