source: libcfa/src/stdhdr/assert.h @ e3fea42

arm-ehjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-expr
Last change on this file since e3fea42 was e3fea42, checked in by Peter A. Buhr <pabuhr@…>, 22 months ago

change "const char *" to "const char []"

  • Property mode set to 100644
File size: 1.4 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// assert.h --
8//
9// Author           : Peter A. Buhr
10// Created On       : Mon Jul  4 23:25:26 2016
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Tue Feb  4 12:58:49 2020
13// Update Count     : 15
14//
15
16#ifdef __cforall
17extern "C" {
18#endif //__cforall
19
20#include_next <assert.h>
21
22#ifdef NDEBUG
23        #define assertf( expr, fmt, ... ) ((void)0)
24#else
25        #define __STRINGIFY__(str) #str
26        #define __VSTRINGIFY__(str) __STRINGIFY__(str)
27        #define assertf( expr, fmt, ... ) ((expr) ? ((void)0) : __assert_fail_f(__VSTRINGIFY__(expr), __FILE__, __LINE__, __PRETTY_FUNCTION__, fmt, ## __VA_ARGS__ ))
28
29        void __assert_fail_f( const char assertion[], const char file[], unsigned int line, const char function[], const char fmt[], ... ) __attribute__((noreturn, format( printf, 5, 6) ));
30#endif
31
32#if !defined(NDEBUG) && (defined(__CFA_DEBUG__) || defined(__CFA_VERIFY__))
33        #define verify(x) assert(x)
34        #define verifyf(x, ...) assertf(x, __VA_ARGS__)
35        #define __CFA_WITH_VERIFY__
36#else
37        #define verify(x)
38        #define verifyf(x, ...)
39#endif
40
41#ifdef __cforall
42} // extern "C"
43#endif //__cforall
44
45// Local Variables: //
46// tab-width: 4 //
47// mode: c++ //
48// compile-command: "make install" //
49// End: //
Note: See TracBrowser for help on using the repository browser.