Fix compilation warnings in ISP testsuite (mostly unused variables).

diff --git a/teshsuite/smpi/isp/umpire/CMakeLists.txt b/teshsuite/smpi/isp/umpire/CMakeLists.txt
index fcf19e4..cc7f9c7 100644 (file)
--- a/teshsuite/smpi/isp/umpire/CMakeLists.txt
+++ b/teshsuite/smpi/isp/umpire/CMakeLists.txt
@@ -208,7 +208,7 @@ if(enable_smpi AND enable_model-checking AND enable_smpi_ISP_testsuite)
   foreach (test ${umpire_tests_passing} ${umpire_tests_deadlock} ${umpire_tests_problematic} )
     add_executable(${test} ${test}.c)
     target_link_libraries(${test} simgrid)
-    set_source_files_properties(${test}.c PROPERTIES COMPILE_FLAGS "-Wno-error -Wno-return-type")
+    set_source_files_properties(${test}.c PROPERTIES COMPILE_FLAGS "-Dlint -Wno-error -Wno-return-type")
     set(umpire_tesh ${umpire_tesh} ${test})
     set(files_to_clean ${files_to_clean} ${CMAKE_CURRENT_BINARY_DIR}/${test}.tesh)
   endforeach(test)

diff --git a/teshsuite/smpi/isp/umpire/change-send-buffer.c b/teshsuite/smpi/isp/umpire/change-send-buffer.c
index 4d21ed5..e3c9d3e 100644 (file)
--- a/teshsuite/smpi/isp/umpire/change-send-buffer.c
+++ b/teshsuite/smpi/isp/umpire/change-send-buffer.c
@@ -34,7 +34,6 @@ main (int argc, char **argv)
   MPI_Get_processor_name (processor_name, &namelen);
   printf ("(%d) is alive on %s\n", rank, processor_name);
   fflush (stdout);
-int j, k;
   for (i = 0; i < 128; i++)
     {
       buf0[i] = i;

diff --git a/teshsuite/smpi/isp/umpire/comm-translate-ranks.c b/teshsuite/smpi/isp/umpire/comm-translate-ranks.c
index c6e54ca..7acfc01 100644 (file)
--- a/teshsuite/smpi/isp/umpire/comm-translate-ranks.c
+++ b/teshsuite/smpi/isp/umpire/comm-translate-ranks.c
@@ -24,7 +24,6 @@ main (int argc, char **argv)
   int key = -1;
   int nrank;
   int nsize;
-  int dat = 0;
   int color = -1;
 
 

diff --git a/teshsuite/smpi/isp/umpire/irecv-deadlock.c b/teshsuite/smpi/isp/umpire/irecv-deadlock.c
index c1a16fe..a4ab3d0 100644 (file)
--- a/teshsuite/smpi/isp/umpire/irecv-deadlock.c
+++ b/teshsuite/smpi/isp/umpire/irecv-deadlock.c
@@ -15,7 +15,6 @@ main (int argc, char **argv)
   char processor_name[128];
   int namelen = 128;
   int buf0[buf_size];
-  int buf1[buf_size];
   MPI_Status status;
   MPI_Request req;
 

diff --git a/teshsuite/smpi/isp/umpire/lost-request-waitall.c b/teshsuite/smpi/isp/umpire/lost-request-waitall.c
index 4a6051b..9eee182 100644 (file)
--- a/teshsuite/smpi/isp/umpire/lost-request-waitall.c
+++ b/teshsuite/smpi/isp/umpire/lost-request-waitall.c
@@ -14,7 +14,7 @@ static char *rcsid =
 
 #define buf_size 128
 
-int mydelay ()                 /* about 6 seconds */
+static int mydelay(void) /* about 6 seconds */
 {
   int i;
   int val;
@@ -37,8 +37,8 @@ main (int argc, char **argv)
   int namelen = 128;
   int buf0[buf_size];
   int buf1[buf_size];
-  MPI_Request req, req0, req1;
-  MPI_Status status, status0, status1;
+  MPI_Request req;
+  MPI_Status status;
   MPI_Request areq[10];
   MPI_Status astatus[10];
 

diff --git a/teshsuite/smpi/isp/umpire/no-error-testany.c b/teshsuite/smpi/isp/umpire/no-error-testany.c
index 75bdb65..f7924fd 100644 (file)
--- a/teshsuite/smpi/isp/umpire/no-error-testany.c
+++ b/teshsuite/smpi/isp/umpire/no-error-testany.c
@@ -47,7 +47,7 @@ main (int argc, char **argv)
        MPI_Send (&flipbit, 1, MPI_INT, 1, i, MPI_COMM_WORLD);
 
        flag = 0;
-printf ("req = %0x", (unsigned int)reqs);
+       printf("req = %p", reqs);
        while (!flag)
            MPI_Testany (i, reqs, &done, &flag, &status);
 

diff --git a/teshsuite/smpi/isp/umpire/wait-deadlock.c b/teshsuite/smpi/isp/umpire/wait-deadlock.c
index 67acdc0..e528524 100644 (file)
--- a/teshsuite/smpi/isp/umpire/wait-deadlock.c
+++ b/teshsuite/smpi/isp/umpire/wait-deadlock.c
@@ -26,7 +26,6 @@ main (int argc, char **argv)
   MPI_Get_processor_name (processor_name, &namelen);
   printf ("(%d) is alive on %s\n", rank, processor_name);
   fflush (stdout);
-       int i;
   MPI_Barrier (MPI_COMM_WORLD);
 
   if (nprocs < 2)