source: libcfa/src/stdhdr/assert.h@ 980aa4a

ADT arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 980aa4a was bf71cfd, checked in by Thierry Delisle <tdelisle@…>, 7 years ago

Moved up many directories in source

  • Property mode set to 100644
File size: 1.3 KB
RevLine 
[a922e34]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.
[0cf5b79]6//
7// assert.h --
8//
[a922e34]9// Author : Peter A. Buhr
10// Created On : Mon Jul 4 23:25:26 2016
11// Last Modified By : Peter A. Buhr
[d6c1dd0]12// Last Modified On : Mon Jul 31 23:09:32 2017
13// Update Count : 13
[0cf5b79]14//
[a922e34]15
[0cf5b79]16#ifdef __cforall
[a922e34]17extern "C" {
[0cf5b79]18#endif //__cforall
[d9c44c3]19
20#include_next <assert.h>
21
[dfa66dc]22#ifdef NDEBUG
[921fe6a]23 #define assertf( expr, fmt, ... ) ((void)0)
[dfa66dc]24#else
25 #define __STRINGIFY__(str) #str
26 #define __VSTRINGIFY__(str) __STRINGIFY__(str)
[d6c1dd0]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) ));
[dfa66dc]30#endif
31
[36982fc]32#if !defined(NDEBUG) && (defined(__CFA_DEBUG__) || defined(__CFA_VERIFY__))
33 #define verify(x) assert(x)
34 #define verifyf(x, ...) assertf(x, __VA_ARGS__)
[ea8b2f7]35 #define __CFA_WITH_VERIFY__
[36982fc]36#else
37 #define verify(x)
38 #define verifyf(x, ...)
39#endif
40
[0cf5b79]41#ifdef __cforall
[a922e34]42} // extern "C"
[0cf5b79]43#endif //__cforall
[a922e34]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.