Added removal of special exception handling instructions.

Author: marek-trtik

src/driver/sec_driver_parse_options.cpp

@@ -33,6 +33,7 @@ Author: Chris Smowton, [email protected]
 #include <goto-programs/goto_inline.h>
 #include <goto-programs/link_to_library.h>
 #include <goto-programs/class_hierarchy.h>
+#include <goto-programs/remove_exceptions.h>
 
 #include <analyses/goto_check.h>
 #include <analyses/local_may_alias.h>
@@ -316,6 +317,8 @@ bool sec_driver_parse_optionst::process_goto_program(
       goto_model,
       cmdline.isset("pointer-check"));
     remove_virtual_functions(goto_model);
+    // remove catch and throw
+    remove_exceptions(goto_model);
     // remove rtti
     remove_instanceof(goto_model);