From 9396c5a64e2d9fb6c2c9bf0396b2a708f0f7610b Mon Sep 17 00:00:00 2001
From: Florian Schmaus <flow@cs.fau.de>
Date: Tue, 11 May 2021 08:18:27 +0200
Subject: [PATCH] [Common] Call abort() instead of exit() in die()

Calling abort() has multiple advantages. First, it better matches the
semantic of DIE(_MSG) as it signals an abnormal process termination,
whereas exit() is a normal process termination (even though
potentially with an error exit code). Secondly, abort() throws
SIGABRT, which in turn triggers a coredump, hence the program's state
can be inspected afterwards.
---
 emper/Common.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/emper/Common.cpp b/emper/Common.cpp
index ec820e3f..f2670a31 100644
--- a/emper/Common.cpp
+++ b/emper/Common.cpp
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: LGPL-3.0-or-later
-// Copyright © 2020 Florian Schmaus
+// Copyright © 2020-2021 Florian Schmaus
 #include "Common.hpp"
 
 #include <cstdio>
@@ -12,5 +12,6 @@ void die(const char* message, bool usePerror) {
 	} else {
 		std::cerr << message << std::endl;
 	}
-	exit(EXIT_FAILURE);
+
+	abort();
 }
-- 
GitLab