Eric Fiselier | fa1f613 | 2016-04-15 23:27:27 +0000 | [diff] [blame] | 1 | #ifndef SUPPORT_ASSERT_CHECKPOINT_H |
| 2 | #define SUPPORT_ASSERT_CHECKPOINT_H |
| 3 | |
| 4 | #include <csignal> |
| 5 | #include <iostream> |
| 6 | #include <cstdlib> |
| 7 | |
| 8 | struct Checkpoint { |
| 9 | const char* file; |
| 10 | const char* func; |
| 11 | int line; |
| 12 | const char* msg; |
| 13 | |
Eric Fiselier | fb946da | 2016-07-18 03:00:09 +0000 | [diff] [blame] | 14 | Checkpoint() : file(nullptr), func(nullptr), line(-1), msg(nullptr) {} |
| 15 | Checkpoint(const char* xfile, const char* xfunc, int xline, const char* xmsg) |
| 16 | : file(xfile), func(xfunc), line(xline), msg(xmsg) |
| 17 | {} |
| 18 | |
Eric Fiselier | fa1f613 | 2016-04-15 23:27:27 +0000 | [diff] [blame] | 19 | template <class Stream> |
| 20 | void print(Stream& s) const { |
| 21 | if (!file) { |
| 22 | s << "NO CHECKPOINT\n"; |
| 23 | return; |
| 24 | } |
| 25 | s << file << ":" << line << " " << func << ": Checkpoint"; |
| 26 | if (msg) |
| 27 | s << " '" << msg << "'"; |
| 28 | s << std::endl; |
| 29 | } |
| 30 | }; |
| 31 | |
| 32 | inline Checkpoint& globalCheckpoint() { |
| 33 | static Checkpoint C; |
| 34 | return C; |
| 35 | } |
| 36 | |
| 37 | inline void clearCheckpoint() { |
Eric Fiselier | fb946da | 2016-07-18 03:00:09 +0000 | [diff] [blame] | 38 | globalCheckpoint() = Checkpoint(); |
Eric Fiselier | fa1f613 | 2016-04-15 23:27:27 +0000 | [diff] [blame] | 39 | } |
| 40 | |
Eric Fiselier | 1f4231f | 2016-04-28 22:28:23 +0000 | [diff] [blame] | 41 | #if defined(__GNUC__) |
| 42 | #define CHECKPOINT_FUNCTION_NAME __PRETTY_FUNCTION__ |
| 43 | #else |
| 44 | #define CHECKPOINT_FUNCTION_NAME __func__ |
| 45 | #endif |
| 46 | |
Eric Fiselier | fb946da | 2016-07-18 03:00:09 +0000 | [diff] [blame] | 47 | #define CHECKPOINT(msg) globalCheckpoint() = Checkpoint(__FILE__, CHECKPOINT_FUNCTION_NAME, __LINE__, msg); |
Eric Fiselier | fa1f613 | 2016-04-15 23:27:27 +0000 | [diff] [blame] | 48 | |
| 49 | inline void checkpointSignalHandler(int signal) { |
| 50 | if (signal == SIGABRT) { |
| 51 | globalCheckpoint().print(std::cerr); |
| 52 | } else { |
| 53 | std::cerr << "Unexpected signal " << signal << " received\n"; |
| 54 | } |
| 55 | std::_Exit(EXIT_FAILURE); |
| 56 | } |
| 57 | |
| 58 | inline bool initCheckpointHandler() { |
| 59 | typedef void(*HandlerT)(int); |
| 60 | static bool isInit = false; |
| 61 | if (isInit) return true; |
| 62 | HandlerT prev_h = std::signal(SIGABRT, checkpointSignalHandler); |
| 63 | if (prev_h == SIG_ERR) { |
| 64 | std::cerr << "Setup failed.\n"; |
| 65 | std::_Exit(EXIT_FAILURE); |
| 66 | } |
| 67 | isInit = true; |
| 68 | return false; |
| 69 | } |
| 70 | |
| 71 | static bool initDummy = initCheckpointHandler(); |
| 72 | |
| 73 | #endif |