XBT_ATTRIB_UNUSED for unused parameters.

diff --git a/examples/c/app-chainsend/broadcaster.c b/examples/c/app-chainsend/broadcaster.c
index cde670e..feb690b 100644 (file)
--- 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 1add68a..a0036b2 100644 (file)
--- 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 c43504d..55676e6 100644 (file)
--- 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;