Remove unused exception name from catch statement

tautschnig · tautschnig · commit 50960d73d9ba · 2018-06-20T10:31:34.000Z
diff --git a/src/goto-symex/symex_main.cpp b/src/goto-symex/symex_main.cpp
@@ -274,7 +274,7 @@ void goto_symext::symex_from_entry_point_of(
   {
     start_function = &get_goto_function(goto_functionst::entry_point());
   }
-  catch(const std::out_of_range &error)
+  catch(const std::out_of_range &)
   {
     throw "the program has no entry point";
   }
diff --git a/src/goto-symex/symex_target_equation.cpp b/src/goto-symex/symex_target_equation.cpp
@@ -432,7 +432,7 @@ void symex_target_equationt::convert_decls(
       {
         prop_conv.convert(step.cond_expr);
       }
-      catch(const bitvector_conversion_exceptiont &conversion_exception)
+      catch(const bitvector_conversion_exceptiont &)
       {
         util_throw_with_nested(
           equation_conversion_exceptiont(
@@ -465,7 +465,7 @@ void symex_target_equationt::convert_guards(
       {
         step.guard_literal = prop_conv.convert(step.guard);
       }
-      catch(const bitvector_conversion_exceptiont &conversion_exception)
+      catch(const bitvector_conversion_exceptiont &)
       {
         util_throw_with_nested(
           equation_conversion_exceptiont(
@@ -500,7 +500,7 @@ void symex_target_equationt::convert_assumptions(
         {
           step.cond_literal = prop_conv.convert(step.cond_expr);
         }
-        catch(const bitvector_conversion_exceptiont &conversion_exception)
+        catch(const bitvector_conversion_exceptiont &)
         {
           util_throw_with_nested(
             equation_conversion_exceptiont(
@@ -536,7 +536,7 @@ void symex_target_equationt::convert_goto_instructions(
         {
           step.cond_literal = prop_conv.convert(step.cond_expr);
         }
-        catch(const bitvector_conversion_exceptiont &conversion_exception)
+        catch(const bitvector_conversion_exceptiont &)
         {
           util_throw_with_nested(
             equation_conversion_exceptiont(
@@ -571,7 +571,7 @@ void symex_target_equationt::convert_constraints(
         {
           decision_procedure.set_to_true(step.cond_expr);
         }
-        catch(const bitvector_conversion_exceptiont &conversion_exception)
+        catch(const bitvector_conversion_exceptiont &)
         {
           util_throw_with_nested(
             equation_conversion_exceptiont(
diff --git a/src/solvers/flattening/boolbv_byte_extract.cpp b/src/solvers/flattening/boolbv_byte_extract.cpp
@@ -46,7 +46,7 @@ bvt boolbvt::convert_byte_extract(const byte_extract_exprt &expr)
     {
       return convert_bv(flatten_byte_extract(expr, ns));
     }
-    catch(const flatten_byte_extract_exceptiont &byte_extract_flatten_exception)
+    catch(const flatten_byte_extract_exceptiont &)
     {
       util_throw_with_nested(
         bitvector_conversion_exceptiont("Can't convert byte_extraction", expr));

Original file line number	Diff line number	Diff line change
`@@ -274,7 +274,7 @@ void goto_symext::symex_from_entry_point_of(`
`274`	`274`	`{`
`275`	`275`	`start_function = &get_goto_function(goto_functionst::entry_point());`
`276`	`276`	`}`
`277`		`- catch(const std::out_of_range &error)`
	`277`	`+ catch(const std::out_of_range &)`
`278`	`278`	`{`
`279`	`279`	`throw "the program has no entry point";`
`280`	`280`	`}`
Original file line number	Diff line number	Diff line change
`@@ -432,7 +432,7 @@ void symex_target_equationt::convert_decls(`
`432`	`432`	`{`
`433`	`433`	`prop_conv.convert(step.cond_expr);`
`434`	`434`	`}`
`435`		`- catch(const bitvector_conversion_exceptiont &conversion_exception)`
	`435`	`+ catch(const bitvector_conversion_exceptiont &)`
`436`	`436`	`{`
`437`	`437`	`util_throw_with_nested(`
`438`	`438`	`equation_conversion_exceptiont(`
`@@ -465,7 +465,7 @@ void symex_target_equationt::convert_guards(`
`465`	`465`	`{`
`466`	`466`	`step.guard_literal = prop_conv.convert(step.guard);`
`467`	`467`	`}`
`468`		`- catch(const bitvector_conversion_exceptiont &conversion_exception)`
	`468`	`+ catch(const bitvector_conversion_exceptiont &)`
`469`	`469`	`{`
`470`	`470`	`util_throw_with_nested(`
`471`	`471`	`equation_conversion_exceptiont(`
`@@ -500,7 +500,7 @@ void symex_target_equationt::convert_assumptions(`
`500`	`500`	`{`
`501`	`501`	`step.cond_literal = prop_conv.convert(step.cond_expr);`
`502`	`502`	`}`
`503`		`- catch(const bitvector_conversion_exceptiont &conversion_exception)`
	`503`	`+ catch(const bitvector_conversion_exceptiont &)`
`504`	`504`	`{`
`505`	`505`	`util_throw_with_nested(`
`506`	`506`	`equation_conversion_exceptiont(`
`@@ -536,7 +536,7 @@ void symex_target_equationt::convert_goto_instructions(`
`536`	`536`	`{`
`537`	`537`	`step.cond_literal = prop_conv.convert(step.cond_expr);`
`538`	`538`	`}`
`539`		`- catch(const bitvector_conversion_exceptiont &conversion_exception)`
	`539`	`+ catch(const bitvector_conversion_exceptiont &)`
`540`	`540`	`{`
`541`	`541`	`util_throw_with_nested(`
`542`	`542`	`equation_conversion_exceptiont(`
`@@ -571,7 +571,7 @@ void symex_target_equationt::convert_constraints(`
`571`	`571`	`{`
`572`	`572`	`decision_procedure.set_to_true(step.cond_expr);`
`573`	`573`	`}`
`574`		`- catch(const bitvector_conversion_exceptiont &conversion_exception)`
	`574`	`+ catch(const bitvector_conversion_exceptiont &)`
`575`	`575`	`{`
`576`	`576`	`util_throw_with_nested(`
`577`	`577`	`equation_conversion_exceptiont(`
Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,7 @@ bvt boolbvt::convert_byte_extract(const byte_extract_exprt &expr)`
`46`	`46`	`{`
`47`	`47`	`return convert_bv(flatten_byte_extract(expr, ns));`
`48`	`48`	`}`
`49`		`- catch(const flatten_byte_extract_exceptiont &byte_extract_flatten_exception)`
	`49`	`+ catch(const flatten_byte_extract_exceptiont &)`
`50`	`50`	`{`
`51`	`51`	`util_throw_with_nested(`
`52`	`52`	`bitvector_conversion_exceptiont("Can't convert byte_extraction", expr));`