From aa743b30160586e3c453632cecd3afbc39739fa9 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 20 Jun 2018 10:16:14 +0000 Subject: [PATCH] Remove unused exception name from catch statement --- src/goto-symex/symex_main.cpp | 2 +- src/goto-symex/symex_target_equation.cpp | 12 ++++++------ src/jsil/jsil_typecheck.cpp | 2 +- src/solvers/flattening/boolbv_byte_extract.cpp | 2 +- 4 files changed, 9 insertions(+), 9 deletions(-) diff --git a/src/goto-symex/symex_main.cpp b/src/goto-symex/symex_main.cpp index 63f1aa1d3b1..54275aabeb5 100644 --- a/src/goto-symex/symex_main.cpp +++ b/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"; } diff --git a/src/goto-symex/symex_target_equation.cpp b/src/goto-symex/symex_target_equation.cpp index 1f906f3f8d7..b0c03e154ce 100644 --- 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( @@ -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( diff --git a/src/jsil/jsil_typecheck.cpp b/src/jsil/jsil_typecheck.cpp index 36393c73af6..84c73175ba8 100644 --- a/src/jsil/jsil_typecheck.cpp +++ b/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(); } diff --git a/src/solvers/flattening/boolbv_byte_extract.cpp b/src/solvers/flattening/boolbv_byte_extract.cpp index 29f2fd41904..4a5eab0c3d8 100644 --- 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));