Comment unused function parameters.

diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp
index 68279a7..af2c7b4 100644 (file)
--- 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);
 }
 
   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())
 {
   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);
 }
 
   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())
 {
   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 26b5954..e27f54f 100644 (file)
--- 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
  */
  *  \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;
 {
   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 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))
 {
   // 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 0ea249c..6187b34 100644 (file)
--- 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
  */
  * @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;
 {
   ExpressionContext state;
   state.frame_base = nullptr;

diff --git a/src/mc/mc_unw_vmread.cpp b/src/mc/mc_unw_vmread.cpp
index 2982902..8d4f37f 100644 (file)
--- 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);
 }
 
   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);
 }
 {
   return _UPT_create(pid);
 }