Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Unused parameters argc/argv.
[simgrid.git] / teshsuite / mc / mutex-handling / mutex-handling.c
index 2c4ce3f..ca13fd7 100644 (file)
@@ -30,7 +30,7 @@ XBT_LOG_NEW_DEFAULT_CATEGORY(msg_test, "Messages specific for this msg example")
 static xbt_mutex_t mutex = NULL;
 #endif
 
-static int receiver(int argc, char *argv[])
+static int receiver(XBT_ATTRIB_UNUSED int argc, XBT_ATTRIB_UNUSED char* argv[])
 {
   msg_task_t task = NULL;
 
@@ -47,6 +47,7 @@ static int receiver(int argc, char *argv[])
 
 static int sender(int argc, char *argv[])
 {
+  xbt_assert(argc == 2);
   char* message_name = argv[1];
 #ifndef DISABLE_THE_MUTEX
   xbt_mutex_acquire(mutex);