Merge pull request #2467 from tautschnig/vs-except
Remove unused exception name from catch statement
This commit is contained in:
commit
fae6a48807
|
@ -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";
|
||||
}
|
||||
|
|
|
@ -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(
|
||||
|
|
|
@ -938,7 +938,7 @@ bool jsil_typecheck(
|
|||
jsil_typecheck.typecheck_expr(expr);
|
||||
}
|
||||
|
||||
catch(int e)
|
||||
catch(int)
|
||||
{
|
||||
jsil_typecheck.error();
|
||||
}
|
||||
|
|
|
@ -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));
|
||||
|
|
Loading…
Reference in New Issue