source: src/include/cassert

Last change on this file was 5f225f5, checked in by Andrew Beach <ajbeach@…>, 13 days ago

Perhaps only src/Makefile.am needed to change, but I did a text search to try and be absolutely sure I got everything.

  • Property mode set to 100644
File size: 1.5 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// cassert --
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 : Mon Nov 20 23:12:34 2023
13// Update Count     : 19
14//
15
16#pragma once
17// Pragmas for header cleanup tool
18// IWYU pragma: private, include <cassert>
19
20#include_next <cassert>
21
22#include "Common/ToString.hpp"
23
24#ifdef NDEBUG
25
26#define assertf(expr, fmt, ...) (__ASSERT_VOID_ASSERT (0))
27
28#else
29
30#define assertf(expr, fmt, ...) ((expr) \
31        ? (__ASSERT_VOID_CAST (0)) \
32        : __assert_fail_f( #expr, __FILE__, __LINE__, \
33        __ASSERT_FUNCTION, fmt, ## __VA_ARGS__ ))
34
35void __assert_fail_f(   const char *assertion, const char *file,
36                                                unsigned int line, const char *function,
37                                                const char *fmt, ...
38        ) __attribute__((noreturn, format(printf, 5, 6)));
39
40#endif
41
42template<typename T, typename U>
43static inline T strict_dynamic_cast( const U & src ) {
44        assert(src);
45        T ret = dynamic_cast<T>(src);
46        assertf(ret, "%s", toString(src).c_str());
47        return ret;
48}
49
50template<typename T, decltype(nullptr) null, typename U>
51static inline T strict_dynamic_cast( const U & src ) {
52        return src ? strict_dynamic_cast<T, U>( src ) : nullptr;
53}
54
55extern void abort(const char *fmt, ... ) noexcept __attribute__((noreturn, format(printf, 1, 2)));
56// Local Variables: //
57// tab-width: 4 //
58// mode: c++ //
59// compile-command: "make install" //
60// End: //
Note: See TracBrowser for help on using the repository browser.