Remove some exception handling in goto-diff

Removes specific handling of a few kinds of exception in favour
of the general handlers in parse_options_baset.  This will change
the exit code in a few exceptional cases but makes the code
simpler and more consistent.

Author: martin

src/goto-diff/goto_diff_parse_options.cpp

@@ -386,7 +386,6 @@ bool goto_diff_parse_optionst::process_goto_program(
   const optionst &options,
   goto_modelt &goto_model)
 {
-  try
   {
     // Remove inline assembler; this needs to happen before
     // adding the library.
@@ -450,31 +449,6 @@ bool goto_diff_parse_optionst::process_goto_program(
     remove_skip(goto_model);
   }
 
-  catch(const char *e)
-  {
-    error() << e << eom;
-    return true;
-  }
-
-  catch(const std::string &e)
-  {
-    error() << e << eom;
-    return true;
-  }
-
-  catch(int e)
-  {
-    error() << "Numeric exception: " << e << eom;
-    return true;
-  }
-
-  catch(const std::bad_alloc &)
-  {
-    error() << "Out of memory" << eom;
-    exit(CPROVER_EXIT_INTERNAL_OUT_OF_MEMORY);
-    return true;
-  }
-
   return false;
 }