Merge pull request #1371 from NathanJPhillips/feature/unhide-error

Display error in catch(...)

Author: smowton

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;
   }
 }