From f84335167d97e1281c95c308840958bac0be09c5 Mon Sep 17 00:00:00 2001
From: Christoph Lehmann <christoph.lehmann@ufz.de>
Date: Tue, 21 Jun 2016 08:58:35 +0200
Subject: [PATCH] [BL] re-enabled stack unwind detection
---
BaseLib/ConfigTree.cpp | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/BaseLib/ConfigTree.cpp b/BaseLib/ConfigTree.cpp
index 1e5d49c0394..b4bd3d87efb 100644
--- a/BaseLib/ConfigTree.cpp
+++ b/BaseLib/ConfigTree.cpp
@@ -70,6 +70,13 @@ ConfigTree(ConfigTree && other)
ConfigTree::~ConfigTree()
{
+ if (std::uncaught_exception()) {
+ /* If the stack unwinds the check below shall be suppressed in order to
+ * not accumulate false-positive configuration errors.
+ */
+ return;
+ }
+
try {
checkAndInvalidate();
} catch (std::exception& e) {
--
GitLab