Silence warnings about unused parameters

tautschnig · tautschnig · commit e139480f8ff8 · 2018-11-10T19:12:50.000Z
Their names are useful to understand the purpose of the function and/or are part
of Doxygen documentation, and thus cannot be removed.
diff --git a/jbmc/src/java_bytecode/character_refine_preprocess.cpp b/jbmc/src/java_bytecode/character_refine_preprocess.cpp
@@ -338,6 +338,7 @@ codet character_refine_preprocesst::convert_high_surrogate(
 exprt character_refine_preprocesst::expr_of_is_ascii_lower_case(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   return in_interval_expr(chr, 'a', 'z');
 }
 
@@ -348,6 +349,7 @@ exprt character_refine_preprocesst::expr_of_is_ascii_lower_case(
 exprt character_refine_preprocesst::expr_of_is_ascii_upper_case(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   return in_interval_expr(chr, 'A', 'Z');
 }
 
@@ -402,6 +404,7 @@ codet character_refine_preprocesst::convert_is_alphabetic(
 exprt character_refine_preprocesst::expr_of_is_bmp_code_point(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   return and_exprt(
     binary_relation_exprt(chr, ID_le, from_integer(0xFFFF, chr.type())),
     binary_relation_exprt(chr, ID_ge, from_integer(0, chr.type())));
@@ -424,6 +427,7 @@ codet character_refine_preprocesst::convert_is_bmp_code_point(
 exprt character_refine_preprocesst::expr_of_is_defined(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   // The following intervals are undefined in unicode, according to
   // the Unicode Character Database: http://www.unicode.org/Public/UCD/latest/
   exprt::operandst intervals;
@@ -488,6 +492,7 @@ codet character_refine_preprocesst::convert_is_defined_int(
 exprt character_refine_preprocesst::expr_of_is_digit(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   exprt latin_digit=in_interval_expr(chr, '0', '9');
   exprt arabic_indic_digit=in_interval_expr(chr, 0x660, 0x669);
   exprt extended_digit=in_interval_expr(chr, 0x6F0, 0x6F9);
@@ -526,6 +531,7 @@ codet character_refine_preprocesst::convert_is_digit_int(
 exprt character_refine_preprocesst::expr_of_is_high_surrogate(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   return in_interval_expr(chr, 0xD800, 0xDBFF);
 }
 
@@ -550,6 +556,7 @@ codet character_refine_preprocesst::convert_is_high_surrogate(
 exprt character_refine_preprocesst::expr_of_is_identifier_ignorable(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   or_exprt ignorable(
     in_interval_expr(chr, 0x0000, 0x0008),
      or_exprt(
@@ -777,6 +784,7 @@ codet character_refine_preprocesst::convert_is_low_surrogate(
 exprt character_refine_preprocesst::expr_of_is_mirrored(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   return in_list_expr(chr, {0x28, 0x29, 0x3C, 0x3E, 0x5B, 0x5D, 0x7B, 0x7D});
 }
 
@@ -819,6 +827,7 @@ codet character_refine_preprocesst::convert_is_space(conversion_inputt &target)
 exprt character_refine_preprocesst::expr_of_is_space_char(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   std::list<mp_integer> space_characters=
     {0x20, 0x00A0, 0x1680, 0x202F, 0x205F, 0x3000, 0x2028, 0x2029};
   exprt condition0=in_list_expr(chr, space_characters);
@@ -853,6 +862,7 @@ codet character_refine_preprocesst::convert_is_space_char_int(
 exprt character_refine_preprocesst::expr_of_is_supplementary_code_point(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   return binary_relation_exprt(chr, ID_gt, from_integer(0xFFFF, chr.type()));
 }
 
@@ -873,6 +883,7 @@ codet character_refine_preprocesst::convert_is_supplementary_code_point(
 exprt character_refine_preprocesst::expr_of_is_surrogate(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   return in_interval_expr(chr, 0xD800, 0xDFFF);
 }
 
@@ -909,6 +920,7 @@ codet character_refine_preprocesst::convert_is_surrogate_pair(
 exprt character_refine_preprocesst::expr_of_is_title_case(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   std::list<mp_integer>title_case_chars=
     {0x01C5, 0x01C8, 0x01CB, 0x01F2, 0x1FBC, 0x1FCC, 0x1FFC};
   exprt::operandst conditions;
@@ -946,6 +958,7 @@ codet character_refine_preprocesst::convert_is_title_case_int(
 exprt character_refine_preprocesst::expr_of_is_letter_number(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   // The following set of characters is the general category "Nl" in the
   // Unicode specification.
   exprt cond0=in_interval_expr(chr, 0x16EE, 0x16F0);
@@ -1059,6 +1072,7 @@ codet character_refine_preprocesst::convert_is_upper_case_int(
 exprt character_refine_preprocesst::expr_of_is_valid_code_point(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   return binary_relation_exprt(chr, ID_le, from_integer(0x10FFFF, chr.type()));
 }
 
@@ -1083,6 +1097,7 @@ codet character_refine_preprocesst::convert_is_valid_code_point(
 exprt character_refine_preprocesst::expr_of_is_whitespace(
   const exprt &chr, const typet &type)
 {
+  (void)type; // unused parameter
   exprt::operandst conditions;
   std::list<mp_integer> space_characters=
     {0x20, 0x1680, 0x205F, 0x3000, 0x2028, 0x2029};
diff --git a/jbmc/src/java_bytecode/java_bytecode_concurrency_instrumentation.cpp b/jbmc/src/java_bytecode/java_bytecode_concurrency_instrumentation.cpp
@@ -342,6 +342,7 @@ static void instrument_end_thread(
   const symbol_tablet &symbol_table)
 {
   PRECONDITION(f_code.arguments().size() == 1);
+  (void)symbol_table; // unused parameter
 
   // Build id, used to construct appropriate labels.
   // Note: java does not have labels so this should be safe
diff --git a/jbmc/src/java_bytecode/java_bytecode_language.cpp b/jbmc/src/java_bytecode/java_bytecode_language.cpp
@@ -1234,6 +1234,12 @@ bool java_bytecode_languaget::to_expr(
   java_bytecode_parser.clear();
 
   return result;
+  #else
+  // unused parameters
+  (void)code;
+  (void)module;
+  (void)expr;
+  (void)ns;
   #endif
 
   return true; // fail for now
@@ -1249,5 +1255,6 @@ java_bytecode_languaget::~java_bytecode_languaget()
 std::vector<load_extra_methodst>
 java_bytecode_languaget::build_extra_entry_points(const optionst &options) const
 {
+  (void)options; // unused parameter
   return {};
 }
diff --git a/jbmc/src/java_bytecode/java_bytecode_typecheck.cpp b/jbmc/src/java_bytecode/java_bytecode_typecheck.cpp
@@ -119,6 +119,11 @@ bool java_bytecode_typecheck(
   }
 
   return java_bytecode_typecheck.get_error_found();
+  #else
+  // unused parameters
+  (void)expr;
+  (void)message_handler;
+  (void)ns;
   #endif
 
   // fail for now
diff --git a/jbmc/src/java_bytecode/java_enum_static_init_unwind_handler.cpp b/jbmc/src/java_bytecode/java_enum_static_init_unwind_handler.cpp
@@ -70,6 +70,8 @@ tvt java_enum_static_init_unwind_handler(
   unsigned &unwind_max,
   const symbol_tablet &symbol_table)
 {
+  (void)loop_number; // unused parameter
+
   const irep_idt enum_function_id = find_enum_function_on_stack(context);
   if(enum_function_id.empty())
     return tvt::unknown();
diff --git a/jbmc/src/java_bytecode/java_local_variable_table.cpp b/jbmc/src/java_bytecode/java_local_variable_table.cpp
@@ -549,6 +549,8 @@ static void merge_variable_table_entries(
             << merge_into.var.name << "; new live range "
             << merge_into.var.start_pc << '-'
             << merge_into.var.start_pc + merge_into.var.length << '\n';
+#else
+  (void)debug_out; // unused parameter
 #endif
 
   // Nuke the now-subsumed var-table entries:
diff --git a/jbmc/src/java_bytecode/select_pointer_type.cpp b/jbmc/src/java_bytecode/select_pointer_type.cpp
@@ -29,6 +29,7 @@ pointer_typet select_pointer_typet::convert_pointer_type(
     &generic_parameter_specialization_map,
   const namespacet &ns) const
 {
+  (void)ns; // unused parameter
   // if we have a map of generic parameters -> types and the pointer is
   // a generic parameter, specialize it with concrete types
   if(!generic_parameter_specialization_map.empty())
@@ -229,5 +230,8 @@ std::set<symbol_typet> select_pointer_typet::get_parameter_alternative_types(
   const irep_idt &parameter_name,
   const namespacet &ns) const
 {
+  // unused parameters
+  (void)function_name;
+  (void)parameter_name;
   return {};
 }
diff --git a/src/analyses/ai_domain.h b/src/analyses/ai_domain.h
@@ -104,6 +104,7 @@ class ai_domain_baset
   /// return true if unchanged
   virtual bool ai_simplify(exprt &condition, const namespacet &ns) const
   {
+    (void)condition; // unused parameter
     return true;
   }
 
diff --git a/src/analyses/constant_propagator.cpp b/src/analyses/constant_propagator.cpp
@@ -237,6 +237,8 @@ bool constant_propagator_domaint::two_way_propagate_rec(
 {
 #ifdef DEBUG
   std::cout << "two_way_propagate_rec: " << format(expr) << '\n';
+#else
+  (void)expr; // unused parameter
 #endif
 
   bool change=false;
@@ -268,6 +270,8 @@ bool constant_propagator_domaint::two_way_propagate_rec(
        assign_rec(values, rhs, lhs, ns);
     change = values.meet(copy_values, ns);
   }
+#else
+  (void)cp;   // unused parameter
 #endif
 
 #ifdef DEBUG
diff --git a/src/analyses/local_may_alias.cpp b/src/analyses/local_may_alias.cpp
@@ -328,6 +328,7 @@ void local_may_aliast::build(const goto_functiont &goto_function)
 
   loc_infos.resize(cfg.nodes.size());
 
+  (void)goto_function; // unused parameter
   #if 0
   // feed in sufficiently bad defaults
   for(code_typet::parameterst::const_iterator
diff --git a/src/analyses/uncaught_exceptions_analysis.cpp b/src/analyses/uncaught_exceptions_analysis.cpp
@@ -182,6 +182,7 @@ void uncaught_exceptions_analysist::collect_uncaught_exceptions(
 void uncaught_exceptions_analysist::output(
   const goto_functionst &goto_functions) const
 {
+  (void)goto_functions; // unused parameter
 #ifdef DEBUG
   forall_goto_functions(it, goto_functions)
   {
diff --git a/src/goto-analyzer/goto_analyzer_parse_options.cpp b/src/goto-analyzer/goto_analyzer_parse_options.cpp
@@ -754,6 +754,8 @@ bool goto_analyzer_parse_optionst::process_goto_program(
     // add generic checks
     status() << "Generic Property Instrumentation" << eom;
     goto_check(options, goto_model);
+    #else
+    (void)options; // unused parameter
     #endif
 
     // recalculate numbers, etc.
diff --git a/src/goto-cc/hybrid_binary.cpp b/src/goto-cc/hybrid_binary.cpp
@@ -93,6 +93,10 @@ int hybrid_binary(
   }
 
 #else
+  // unused parameters
+  (void)compiler_or_linker;
+  (void)goto_binary_file;
+  (void)output_file;
   message.error() << "binary merging not implemented for this platform"
                   << messaget::eom;
   result = 1;
diff --git a/src/goto-instrument/accelerate/polynomial_accelerator.cpp b/src/goto-instrument/accelerate/polynomial_accelerator.cpp
@@ -450,6 +450,10 @@ bool polynomial_acceleratort::fit_const(
   exprt &target,
   polynomialt &poly)
 {
+  // unused parameters
+  (void)body;
+  (void)target;
+  (void)poly;
   return false;
 
 #if 0
diff --git a/src/goto-instrument/accelerate/scratch_program.cpp b/src/goto-instrument/accelerate/scratch_program.cpp
@@ -185,6 +185,7 @@ void scratch_programt::append_loop(
   append(program);
 
   // Update any back jumps to the loop header.
+  (void)loop_header; // unused parameter
   assume(false_exprt());
 
   goto_programt::targett end=add_instruction(SKIP);
diff --git a/src/goto-instrument/cover_basic_blocks.h b/src/goto-instrument/cover_basic_blocks.h
@@ -14,9 +14,9 @@ Author: Daniel Kroening
 
 #include <unordered_set>
 
-#include <goto-programs/goto_model.h>
+#include <util/message.h>
 
-class message_handlert;
+#include <goto-programs/goto_model.h>
 
 class cover_blocks_baset
 {
@@ -49,6 +49,9 @@ class cover_blocks_baset
     const goto_programt &goto_program,
     message_handlert &message_handler)
   {
+    // unused parameters
+    (void)goto_program;
+    (void)message_handler;
   }
 };
 
diff --git a/src/goto-instrument/cover_filter.cpp b/src/goto-instrument/cover_filter.cpp
@@ -51,6 +51,7 @@ bool include_pattern_filtert::operator()(
   const irep_idt &identifier,
   const goto_functionst::goto_functiont &goto_function) const
 {
+  (void)goto_function; // unused parameter
   std::smatch string_matcher;
   return std::regex_match(id2string(identifier), string_matcher, regex_matcher);
 }
@@ -67,6 +68,7 @@ bool trivial_functions_filtert::operator()(
   const irep_idt &identifier,
   const goto_functionst::goto_functiont &goto_function) const
 {
+  (void)identifier; // unused parameter
   unsigned long count_assignments = 0, count_goto = 0;
   forall_goto_program_instructions(i_it, goto_function.body)
   {
diff --git a/src/goto-instrument/full_slicer_class.h b/src/goto-instrument/full_slicer_class.h
@@ -99,6 +99,8 @@ class full_slicert
   {
 #ifdef DEBUG_FULL_SLICERT
     cfg[entry].required_by.insert(reason->location_number);
+#else
+    (void)reason; // unused parameter
 #endif
     queue.push(entry);
   }
diff --git a/src/goto-instrument/rw_set.h b/src/goto-instrument/rw_set.h
@@ -87,7 +87,10 @@ class rw_set_baset
   void output(std::ostream &out) const;
 
 protected:
-  virtual void track_deref(const entryt &, bool read) {}
+  virtual void track_deref(const entryt &, bool read)
+  {
+    (void)read; // unused parameter
+  }
   virtual void set_track_deref() {}
   virtual void reset_track_deref() {}
 
diff --git a/src/goto-instrument/wmm/data_dp.cpp b/src/goto-instrument/wmm/data_dp.cpp
@@ -185,5 +185,7 @@ void data_dpt::print(messaget &message)
     for(l_it=m_it->second.begin(); l_it!=m_it->second.end(); ++l_it)
       message.debug()<< "loc: "<<*l_it << messaget::eom;
   }
+#else
+  (void)message; // unused parameter
 #endif
 }
diff --git a/src/goto-instrument/wmm/instrumenter_strategies.cpp b/src/goto-instrument/wmm/instrumenter_strategies.cpp
@@ -344,6 +344,7 @@ void inline instrumentert::instrument_minimum_interference_inserter(
 
   glp_delete_prob(lp);
 #else
+  (void)set_of_cycles; // unused parameter
   throw "sorry, minimum interference option requires glpk; "
         "please recompile goto-instrument with glpk";
 #endif
diff --git a/src/goto-instrument/wmm/shared_buffers.cpp b/src/goto-instrument/wmm/shared_buffers.cpp
@@ -266,6 +266,13 @@ void shared_bufferst::flush_read(
 
   assignment(goto_program, target, source_location, vars.read_delayed,
              false_exprt());
+#else
+  // unused parameters
+  (void)goto_program;
+  (void)target;
+  (void)target;
+  (void)source_location;
+  (void)write_object;
 #endif
 
 /* option 2 */
diff --git a/src/goto-programs/osx_fat_reader.cpp b/src/goto-programs/osx_fat_reader.cpp
@@ -32,6 +32,8 @@ bool is_osx_fat_magic(char hdr[4])
     case FAT_CIGAM:
       return true;
   }
+#else
+  (void)hdr; // unused parameter
 #endif
 
   return false;
@@ -75,6 +77,8 @@ osx_fat_readert::osx_fat_readert(std::ifstream &in) :
                 cpusubtype==CPU_SUBTYPE_HPPA_7100LC &&
                 size > 0;
   }
+#else
+  (void)in;  // unused parameter
 #endif
 }
 
diff --git a/src/langapi/language.cpp b/src/langapi/language.cpp
diff --git a/src/langapi/language.h b/src/langapi/language.h
diff --git a/src/pointer-analysis/value_set.h b/src/pointer-analysis/value_set.h
diff --git a/src/util/memory_info.cpp b/src/util/memory_info.cpp
diff --git a/src/util/signal_catcher.cpp b/src/util/signal_catcher.cpp
diff --git a/src/util/tempdir.cpp b/src/util/tempdir.cpp
diff --git a/src/util/timestamper.cpp b/src/util/timestamper.cpp

Original file line number	Diff line number	Diff line change
`@@ -338,6 +338,7 @@ codet character_refine_preprocesst::convert_high_surrogate(`
`338`	`338`	`exprt character_refine_preprocesst::expr_of_is_ascii_lower_case(`
`339`	`339`	`const exprt &chr, const typet &type)`
`340`	`340`	`{`
	`341`	`+ (void)type; // unused parameter`
`341`	`342`	`return in_interval_expr(chr, 'a', 'z');`
`342`	`343`	`}`
`343`	`344`
`@@ -348,6 +349,7 @@ exprt character_refine_preprocesst::expr_of_is_ascii_lower_case(`
`348`	`349`	`exprt character_refine_preprocesst::expr_of_is_ascii_upper_case(`
`349`	`350`	`const exprt &chr, const typet &type)`
`350`	`351`	`{`
	`352`	`+ (void)type; // unused parameter`
`351`	`353`	`return in_interval_expr(chr, 'A', 'Z');`
`352`	`354`	`}`
`353`	`355`
`@@ -402,6 +404,7 @@ codet character_refine_preprocesst::convert_is_alphabetic(`
`402`	`404`	`exprt character_refine_preprocesst::expr_of_is_bmp_code_point(`
`403`	`405`	`const exprt &chr, const typet &type)`
`404`	`406`	`{`
	`407`	`+ (void)type; // unused parameter`
`405`	`408`	`return and_exprt(`
`406`	`409`	`binary_relation_exprt(chr, ID_le, from_integer(0xFFFF, chr.type())),`
`407`	`410`	`binary_relation_exprt(chr, ID_ge, from_integer(0, chr.type())));`
`@@ -424,6 +427,7 @@ codet character_refine_preprocesst::convert_is_bmp_code_point(`
`424`	`427`	`exprt character_refine_preprocesst::expr_of_is_defined(`
`425`	`428`	`const exprt &chr, const typet &type)`
`426`	`429`	`{`
	`430`	`+ (void)type; // unused parameter`
`427`	`431`	`// The following intervals are undefined in unicode, according to`
`428`	`432`	`// the Unicode Character Database: http://www.unicode.org/Public/UCD/latest/`
`429`	`433`	`exprt::operandst intervals;`
`@@ -488,6 +492,7 @@ codet character_refine_preprocesst::convert_is_defined_int(`
`488`	`492`	`exprt character_refine_preprocesst::expr_of_is_digit(`
`489`	`493`	`const exprt &chr, const typet &type)`
`490`	`494`	`{`
	`495`	`+ (void)type; // unused parameter`
`491`	`496`	`exprt latin_digit=in_interval_expr(chr, '0', '9');`
`492`	`497`	`exprt arabic_indic_digit=in_interval_expr(chr, 0x660, 0x669);`
`493`	`498`	`exprt extended_digit=in_interval_expr(chr, 0x6F0, 0x6F9);`
`@@ -526,6 +531,7 @@ codet character_refine_preprocesst::convert_is_digit_int(`
`526`	`531`	`exprt character_refine_preprocesst::expr_of_is_high_surrogate(`
`527`	`532`	`const exprt &chr, const typet &type)`
`528`	`533`	`{`
	`534`	`+ (void)type; // unused parameter`
`529`	`535`	`return in_interval_expr(chr, 0xD800, 0xDBFF);`
`530`	`536`	`}`
`531`	`537`
`@@ -550,6 +556,7 @@ codet character_refine_preprocesst::convert_is_high_surrogate(`
`550`	`556`	`exprt character_refine_preprocesst::expr_of_is_identifier_ignorable(`
`551`	`557`	`const exprt &chr, const typet &type)`
`552`	`558`	`{`
	`559`	`+ (void)type; // unused parameter`
`553`	`560`	`or_exprt ignorable(`
`554`	`561`	`in_interval_expr(chr, 0x0000, 0x0008),`
`555`	`562`	`or_exprt(`
`@@ -777,6 +784,7 @@ codet character_refine_preprocesst::convert_is_low_surrogate(`
`777`	`784`	`exprt character_refine_preprocesst::expr_of_is_mirrored(`
`778`	`785`	`const exprt &chr, const typet &type)`
`779`	`786`	`{`
	`787`	`+ (void)type; // unused parameter`
`780`	`788`	`return in_list_expr(chr, {0x28, 0x29, 0x3C, 0x3E, 0x5B, 0x5D, 0x7B, 0x7D});`
`781`	`789`	`}`
`782`	`790`
`@@ -819,6 +827,7 @@ codet character_refine_preprocesst::convert_is_space(conversion_inputt &target)`
`819`	`827`	`exprt character_refine_preprocesst::expr_of_is_space_char(`
`820`	`828`	`const exprt &chr, const typet &type)`
`821`	`829`	`{`
	`830`	`+ (void)type; // unused parameter`
`822`	`831`	`std::list<mp_integer> space_characters=`
`823`	`832`	`{0x20, 0x00A0, 0x1680, 0x202F, 0x205F, 0x3000, 0x2028, 0x2029};`
`824`	`833`	`exprt condition0=in_list_expr(chr, space_characters);`
`@@ -853,6 +862,7 @@ codet character_refine_preprocesst::convert_is_space_char_int(`
`853`	`862`	`exprt character_refine_preprocesst::expr_of_is_supplementary_code_point(`
`854`	`863`	`const exprt &chr, const typet &type)`
`855`	`864`	`{`
	`865`	`+ (void)type; // unused parameter`
`856`	`866`	`return binary_relation_exprt(chr, ID_gt, from_integer(0xFFFF, chr.type()));`
`857`	`867`	`}`
`858`	`868`
`@@ -873,6 +883,7 @@ codet character_refine_preprocesst::convert_is_supplementary_code_point(`
`873`	`883`	`exprt character_refine_preprocesst::expr_of_is_surrogate(`
`874`	`884`	`const exprt &chr, const typet &type)`
`875`	`885`	`{`
	`886`	`+ (void)type; // unused parameter`
`876`	`887`	`return in_interval_expr(chr, 0xD800, 0xDFFF);`
`877`	`888`	`}`
`878`	`889`
`@@ -909,6 +920,7 @@ codet character_refine_preprocesst::convert_is_surrogate_pair(`
`909`	`920`	`exprt character_refine_preprocesst::expr_of_is_title_case(`
`910`	`921`	`const exprt &chr, const typet &type)`
`911`	`922`	`{`
	`923`	`+ (void)type; // unused parameter`
`912`	`924`	`std::list<mp_integer>title_case_chars=`
`913`	`925`	`{0x01C5, 0x01C8, 0x01CB, 0x01F2, 0x1FBC, 0x1FCC, 0x1FFC};`
`914`	`926`	`exprt::operandst conditions;`
`@@ -946,6 +958,7 @@ codet character_refine_preprocesst::convert_is_title_case_int(`
`946`	`958`	`exprt character_refine_preprocesst::expr_of_is_letter_number(`
`947`	`959`	`const exprt &chr, const typet &type)`
`948`	`960`	`{`
	`961`	`+ (void)type; // unused parameter`
`949`	`962`	`// The following set of characters is the general category "Nl" in the`
`950`	`963`	`// Unicode specification.`
`951`	`964`	`exprt cond0=in_interval_expr(chr, 0x16EE, 0x16F0);`
`@@ -1059,6 +1072,7 @@ codet character_refine_preprocesst::convert_is_upper_case_int(`
`1059`	`1072`	`exprt character_refine_preprocesst::expr_of_is_valid_code_point(`
`1060`	`1073`	`const exprt &chr, const typet &type)`
`1061`	`1074`	`{`
	`1075`	`+ (void)type; // unused parameter`
`1062`	`1076`	`return binary_relation_exprt(chr, ID_le, from_integer(0x10FFFF, chr.type()));`
`1063`	`1077`	`}`
`1064`	`1078`
`@@ -1083,6 +1097,7 @@ codet character_refine_preprocesst::convert_is_valid_code_point(`
`1083`	`1097`	`exprt character_refine_preprocesst::expr_of_is_whitespace(`
`1084`	`1098`	`const exprt &chr, const typet &type)`
`1085`	`1099`	`{`
	`1100`	`+ (void)type; // unused parameter`
`1086`	`1101`	`exprt::operandst conditions;`
`1087`	`1102`	`std::list<mp_integer> space_characters=`
`1088`	`1103`	`{0x20, 0x1680, 0x205F, 0x3000, 0x2028, 0x2029};`
Original file line number	Diff line number	Diff line change
`@@ -342,6 +342,7 @@ static void instrument_end_thread(`
`342`	`342`	`const symbol_tablet &symbol_table)`
`343`	`343`	`{`
`344`	`344`	`PRECONDITION(f_code.arguments().size() == 1);`
	`345`	`+ (void)symbol_table; // unused parameter`
`345`	`346`
`346`	`347`	`// Build id, used to construct appropriate labels.`
`347`	`348`	`// Note: java does not have labels so this should be safe`
Original file line number	Diff line number	Diff line change
`@@ -70,6 +70,8 @@ tvt java_enum_static_init_unwind_handler(`
`70`	`70`	`unsigned &unwind_max,`
`71`	`71`	`const symbol_tablet &symbol_table)`
`72`	`72`	`{`
	`73`	`+ (void)loop_number; // unused parameter`
	`74`	`+`
`73`	`75`	`const irep_idt enum_function_id = find_enum_function_on_stack(context);`
`74`	`76`	`if(enum_function_id.empty())`
`75`	`77`	`return tvt::unknown();`
Original file line number	Diff line number	Diff line change
`@@ -29,6 +29,7 @@ pointer_typet select_pointer_typet::convert_pointer_type(`
`29`	`29`	`&generic_parameter_specialization_map,`
`30`	`30`	`const namespacet &ns) const`
`31`	`31`	`{`
	`32`	`+ (void)ns; // unused parameter`
`32`	`33`	`// if we have a map of generic parameters -> types and the pointer is`
`33`	`34`	`// a generic parameter, specialize it with concrete types`
`34`	`35`	`if(!generic_parameter_specialization_map.empty())`
`@@ -229,5 +230,8 @@ std::set<symbol_typet> select_pointer_typet::get_parameter_alternative_types(`
`229`	`230`	`const irep_idt &parameter_name,`
`230`	`231`	`const namespacet &ns) const`
`231`	`232`	`{`
	`233`	`+ // unused parameters`
	`234`	`+ (void)function_name;`
	`235`	`+ (void)parameter_name;`
`232`	`236`	`return {};`
`233`	`237`	`}`
Original file line number	Diff line number	Diff line change
`@@ -104,6 +104,7 @@ class ai_domain_baset`
`104`	`104`	`/// return true if unchanged`
`105`	`105`	`virtual bool ai_simplify(exprt &condition, const namespacet &ns) const`
`106`	`106`	`{`
	`107`	`+ (void)condition; // unused parameter`
`107`	`108`	`return true;`
`108`	`109`	`}`
`109`	`110`