From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 21 Feb 2020 17:08:57 +0000 (+0100)
Subject: XBT_ATTRIB_UNUSED for unused parameters.
X-Git-Tag: v3.26~919
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/fa64fcb262f602ee8d6b7a4fcb483ddf3e697276

XBT_ATTRIB_UNUSED for unused parameters.
---

diff --git a/examples/c/app-chainsend/broadcaster.c b/examples/c/app-chainsend/broadcaster.c
index cde670ea2e..feb690b8d0 100644
--- a/examples/c/app-chainsend/broadcaster.c
+++ b/examples/c/app-chainsend/broadcaster.c
@@ -74,7 +74,7 @@ static void broadcaster_destroy(broadcaster_t bc)
 void broadcaster(int argc, char* argv[])
 {
   XBT_DEBUG("broadcaster");
-
+  xbt_assert(argc > 2);
   unsigned int host_count = xbt_str_parse_int(argv[1], "Invalid number of peers: %s");
 
   sg_mailbox_t* mailboxes = (sg_mailbox_t*)malloc(sizeof(sg_mailbox_t) * host_count);
diff --git a/examples/c/app-chainsend/peer.c b/examples/c/app-chainsend/peer.c
index 1add68aff1..a0036b2726 100644
--- a/examples/c/app-chainsend/peer.c
+++ b/examples/c/app-chainsend/peer.c
@@ -58,7 +58,7 @@ static void peer_forward_file(const peer_t p)
   sg_comm_wait_all(p->pending_sends, nb_pending_sends);
 }
 
-static peer_t peer_init(int argc, char* argv[])
+static peer_t peer_init(XBT_ATTRIB_UNUSED int argc, XBT_ATTRIB_UNUSED char* argv[])
 {
   peer_t p           = (peer_t)malloc(sizeof(s_peer_t));
   p->prev            = NULL;
diff --git a/examples/c/cloud-capping/cloud-capping.c b/examples/c/cloud-capping/cloud-capping.c
index c43504d45f..55676e682c 100644
--- a/examples/c/cloud-capping/cloud-capping.c
+++ b/examples/c/cloud-capping/cloud-capping.c
@@ -16,7 +16,7 @@
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(cloud_capping, "Messages specific for this example");
 
-static void worker_main(XBT_ATTRIB_UNUSED int argc, XBT_ATTRIB_UNUSED char* argv[])
+static void worker_main(int argc, char* argv[])
 {
   xbt_assert(argc == 4);
   double computation_amount = xbt_str_parse_double(argv[1], "Invalid computation amount: %s");
@@ -58,8 +58,9 @@ static void launch_worker(sg_host_t host, const char* pr_name, double computatio
   free(argv3);
 }
 
-static void worker_busy_loop(XBT_ATTRIB_UNUSED int argc, char* argv[])
+static void worker_busy_loop(int argc, char* argv[])
 {
+  xbt_assert(argc > 2);
   char* name              = argv[1];
   double speed            = xbt_str_parse_double(argv[2], "Invalid speed value");
   double exec_remain_prev = 1e11;