sonar: kill unused parameter

diff --git a/src/kernel/context/ContextUnix.cpp b/src/kernel/context/ContextUnix.cpp
index 054656c..569f2d8 100644 (file)
--- a/src/kernel/context/ContextUnix.cpp
+++ b/src/kernel/context/ContextUnix.cpp
@@ -83,7 +83,7 @@ UContext::UContext(std::function<void()>&& code, actor::ActorImpl* actor, Swappe
 
 #if SIMGRID_HAVE_MC
     if (MC_is_active()) {
-      MC_register_stack_area(get_stack(), actor, &(this->uc_), smx_context_stack_size);
+      MC_register_stack_area(get_stack(), &(this->uc_), smx_context_stack_size);
     }
 #endif
   }

diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp
index 4f2e24a..d2c13d6 100644 (file)
--- a/src/mc/mc_client_api.cpp
+++ b/src/mc/mc_client_api.cpp
@@ -79,12 +79,12 @@ void MC_automaton_new_propositional_symbol_pointer(const char *name, int* value)
  *  @param context The context associated to that stack
  *  @param size    Size of the stack
  */
-void MC_register_stack_area(void* stack, smx_actor_t actor, ucontext_t* context, size_t size)
+void MC_register_stack_area(void* stack, ucontext_t* context, size_t size)
 {
   xbt_assert(mc_model_checker == nullptr);
   if (not MC_is_active())
     return;
-  simgrid::mc::Client::get()->declare_stack(stack, size, actor, context);
+  simgrid::mc::Client::get()->declare_stack(stack, size, context);
 }
 
 void MC_ignore_global_variable(const char* /*name*/)

diff --git a/src/mc/mc_ignore.hpp b/src/mc/mc_ignore.hpp
index 1ede97a..c25b45b 100644 (file)
--- a/src/mc/mc_ignore.hpp
+++ b/src/mc/mc_ignore.hpp
@@ -12,7 +12,7 @@
 #if HAVE_UCONTEXT_H
 #include <ucontext.h> /* context relative declarations */
 
-XBT_PUBLIC void MC_register_stack_area(void* stack, smx_actor_t process, ucontext_t* context, size_t size);
+XBT_PUBLIC void MC_register_stack_area(void* stack, ucontext_t* context, size_t size);
 
 #endif
 

diff --git a/src/mc/remote/Client.cpp b/src/mc/remote/Client.cpp
index 9c8dd56..4e77404 100644 (file)
--- a/src/mc/remote/Client.cpp
+++ b/src/mc/remote/Client.cpp
@@ -226,7 +226,7 @@ void Client::declare_symbol(const char* name, int* value)
     xbt_die("Could send REGISTER_SYMBOL message to model-checker");
 }
 
-void Client::declare_stack(void* stack, size_t size, smx_actor_t process, ucontext_t* context)
+void Client::declare_stack(void* stack, size_t size, ucontext_t* context)
 {
   xbt_mheap_t heap = mmalloc_get_current_heap();
 

diff --git a/src/mc/remote/Client.hpp b/src/mc/remote/Client.hpp
index 8217172..b26207e 100644 (file)
--- a/src/mc/remote/Client.hpp
+++ b/src/mc/remote/Client.hpp
@@ -43,7 +43,7 @@ public:
   void unignore_heap(void* addr, std::size_t size);
   void declare_symbol(const char* name, int* value);
 #if HAVE_UCONTEXT_H
-  void declare_stack(void* stack, size_t size, smx_actor_t process, ucontext_t* context);
+  void declare_stack(void* stack, size_t size, ucontext_t* context);
 #endif
 
   // Singleton :/