source: src/include/assert.h @ d6c1dd0

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since d6c1dd0 was d6c1dd0, checked in by Peter A. Buhr <pabuhr@…>, 7 years ago

formatting and add attribute "format" to C++ assert_fail_f

  • Property mode set to 100644
File size: 1.2 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       : Thu Aug 18 13:19:26 2016
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Tue Aug  1 11:56:01 2017
13// Update Count     : 16
14//
15
16#pragma once
17// Pragmas for header cleanup tool
18// IWYU pragma: private, include <cassert>
19
20#include_next <assert.h>
21
22#define __STRINGIFY__(str) #str
23#define __VSTRINGIFY__(str) __STRINGIFY__(str)
24#define assertf( expr, fmt, ... ) ((expr) ? static_cast<void>(0) : __assert_fail_f(__VSTRINGIFY__(expr), __FILE__, __LINE__, __PRETTY_FUNCTION__, fmt, ## __VA_ARGS__ ))
25
26void __assert_fail_f( const char *assertion, const char *file, unsigned int line, const char *function, const char *fmt, ... ) __attribute__((noreturn, format( printf, 5, 6) ));
27
28template<typename T, typename U>
29static inline T safe_dynamic_cast( const U & src ) {
30        T ret = dynamic_cast<T>(src);
31        assert(ret);
32        return ret;
33}
34
35// Local Variables: //
36// tab-width: 4 //
37// mode: c++ //
38// compile-command: "make install" //
39// End: //
Note: See TracBrowser for help on using the repository browser.