From 5cdeb1f37e1e3d854dd4508e6f02db7ee444a6eb Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 23 Feb 2017 12:16:26 +0100
Subject: [PATCH] cosmetics for sonar

---
 src/smpi/smpi_base.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/smpi/smpi_base.cpp b/src/smpi/smpi_base.cpp
index cdc04e8f3d..57ff3c1fcd 100644
--- a/src/smpi/smpi_base.cpp
+++ b/src/smpi/smpi_base.cpp
@@ -903,13 +903,13 @@ int smpi_mpi_waitany(int count, MPI_Request requests[], MPI_Status * status)
 int smpi_mpi_waitall(int count, MPI_Request requests[], MPI_Status status[])
 {
   s_xbt_dynar_t accumulates;
-  int  index, c;
+  int index;
   MPI_Status stat;
   MPI_Status *pstat = status == MPI_STATUSES_IGNORE ? MPI_STATUS_IGNORE : &stat;
   int retvalue = MPI_SUCCESS;
   //tag invalid requests in the set
   if (status != MPI_STATUSES_IGNORE) {
-    for (c = 0; c < count; c++) {
+    for (int c = 0; c < count; c++) {
       if (requests[c] == MPI_REQUEST_NULL || requests[c]->dst == MPI_PROC_NULL || (requests[c]->flags & PREPARED)) {
         smpi_empty_status(&status[c]);
       } else if (requests[c]->src == MPI_PROC_NULL) {
@@ -919,7 +919,7 @@ int smpi_mpi_waitall(int count, MPI_Request requests[], MPI_Status status[])
     }
   }
   xbt_dynar_init(&accumulates, sizeof(MPI_Request), nullptr);
-  for(c = 0; c < count; c++) {
+  for (int c = 0; c < count; c++) {
 
     if (MC_is_active() || MC_record_replay_is_active()) {
       smpi_mpi_wait(&requests[c], pstat);
-- 
2.20.1