From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 27 Jun 2018 12:26:44 +0000 (+0200)
Subject: Comment unused function parameters.
X-Git-Tag: v3_21~620
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6ed785970bbb0b94322103726f147dbea26ea48c

Comment unused function parameters.
---

diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp
index 68279a7281..af2c7b456c 100644
--- a/src/mc/mc_client_api.cpp
+++ b/src/mc/mc_client_api.cpp
@@ -50,7 +50,7 @@ void MC_ignore(void* addr, size_t size)
   simgrid::mc::Client::get()->ignoreMemory(addr, size);
 }
 
-void MC_automaton_new_propositional_symbol(const char* id, int (*fct)())
+void MC_automaton_new_propositional_symbol(const char* /*id*/, int (*/*fct*/)())
 {
   xbt_assert(mc_model_checker == nullptr);
   if (not MC_is_active())
@@ -86,7 +86,7 @@ void MC_register_stack_area(void* stack, smx_actor_t actor, ucontext_t* context,
   simgrid::mc::Client::get()->declareStack(stack, size, actor, context);
 }
 
-void MC_ignore_global_variable(const char *name)
+void MC_ignore_global_variable(const char* /*name*/)
 {
   xbt_assert(mc_model_checker == nullptr);
   if (not MC_is_active())
diff --git a/src/mc/mc_dwarf.cpp b/src/mc/mc_dwarf.cpp
index 26b59542bf..e27f54f6fe 100644
--- a/src/mc/mc_dwarf.cpp
+++ b/src/mc/mc_dwarf.cpp
@@ -528,8 +528,8 @@ static void MC_dwarf_fill_member_location(
  *  \param unit DIE of the compilation unit containing the type DIE
  *  \param type the type
  */
-static void MC_dwarf_add_members(simgrid::mc::ObjectInformation* info, Dwarf_Die * die,
-                                 Dwarf_Die * unit, simgrid::mc::Type* type)
+static void MC_dwarf_add_members(simgrid::mc::ObjectInformation* /*info*/, Dwarf_Die* die, Dwarf_Die* /*unit*/,
+                                 simgrid::mc::Type* type)
 {
   int res;
   Dwarf_Die child;
@@ -698,10 +698,9 @@ static void MC_dwarf_handle_type_die(simgrid::mc::ObjectInformation* info, Dwarf
 
 static int mc_anonymous_variable_index = 0;
 
-static std::unique_ptr<simgrid::mc::Variable> MC_die_to_variable(
-  simgrid::mc::ObjectInformation* info, Dwarf_Die * die,
-  Dwarf_Die * unit, simgrid::mc::Frame* frame,
-  const char *ns)
+static std::unique_ptr<simgrid::mc::Variable> MC_die_to_variable(simgrid::mc::ObjectInformation* info, Dwarf_Die* die,
+                                                                 Dwarf_Die* /*unit*/, simgrid::mc::Frame* frame,
+                                                                 const char* ns)
 {
   // Skip declarations:
   if (MC_dwarf_attr_flag(die, DW_AT_declaration, false))
diff --git a/src/mc/mc_member.cpp b/src/mc/mc_member.cpp
index 0ea249cf9c..6187b340ba 100644
--- a/src/mc/mc_member.cpp
+++ b/src/mc/mc_member.cpp
@@ -19,9 +19,8 @@ namespace dwarf {
  * @param snapshot Snapshot (or nullptr)
  * @return Process address of the given member of the 'object' struct/class
  */
-void *resolve_member(
-    const void *base, simgrid::mc::Type* type, simgrid::mc::Member* member,
-    simgrid::mc::AddressSpace* address_space, int process_index)
+void* resolve_member(const void* base, simgrid::mc::Type* /*type*/, simgrid::mc::Member* member,
+                     simgrid::mc::AddressSpace* address_space, int process_index)
 {
   ExpressionContext state;
   state.frame_base = nullptr;
diff --git a/src/mc/mc_unw_vmread.cpp b/src/mc/mc_unw_vmread.cpp
index 2982902c79..8d4f37fd3c 100644
--- a/src/mc/mc_unw_vmread.cpp
+++ b/src/mc/mc_unw_vmread.cpp
@@ -132,7 +132,7 @@ unw_addr_space_t create_addr_space()
   return unw_create_addr_space(&accessors, BYTE_ORDER);
 }
 
-void* create_context(unw_addr_space_t as, pid_t pid)
+void* create_context(unw_addr_space_t /*as*/, pid_t pid)
 {
   return _UPT_create(pid);
 }