From 268d1969e2bed5b6f183a18fa7fb80ddfcad738c Mon Sep 17 00:00:00 2001
From: Nathan Phillips <nathan.phillips@diffblue.com>
Date: Mon, 11 Sep 2017 15:20:24 +0100
Subject: [PATCH] Display error in catch(...)

A catch(...) was hiding a problem we had - it would have been faster to debug if it had printed a message, this PR makes it do so.
---
 src/goto-analyzer/taint_analysis.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/goto-analyzer/taint_analysis.cpp b/src/goto-analyzer/taint_analysis.cpp
index 51374223840..212f8aab981 100644
--- a/src/goto-analyzer/taint_analysis.cpp
+++ b/src/goto-analyzer/taint_analysis.cpp
@@ -400,6 +400,7 @@ bool taint_analysist::operator()(
   }
   catch(...)
   {
+    error() << "Caught unexpected error in taint_analysist::operator()" << eom;
     return true;
   }
 }