Merge pull request #2467 from tautschnig/vs-except

Remove unused exception name from catch statement

Author: kroening

src/goto-symex/symex_main.cpp

@@ -281,7 +281,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";
   }

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(
@@ -632,7 +632,7 @@ void symex_target_equationt::convert_assertions(
       {
         step.cond_literal = prop_conv.convert(implication);
       }
-      catch(const bitvector_conversion_exceptiont &conversion_exception)
+      catch(const bitvector_conversion_exceptiont &)
       {
         util_throw_with_nested(
           equation_conversion_exceptiont(

src/jsil/jsil_typecheck.cpp

@@ -938,7 +938,7 @@ bool jsil_typecheck(
     jsil_typecheck.typecheck_expr(expr);
   }
 
-  catch(int e)
+  catch(int)
   {
     jsil_typecheck.error();
   }

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