Reset pointer to make it clear for cppcheck that it's not freed twice.

diff --git a/examples/smpi/ampi_test/ampi_test.cpp b/examples/smpi/ampi_test/ampi_test.cpp
index 9dfdd18..9c7650a 100644 (file)
--- a/examples/smpi/ampi_test/ampi_test.cpp
+++ b/examples/smpi/ampi_test/ampi_test.cpp
@@ -29,11 +29,13 @@ int main(int argc, char* argv[])
   AMPI_Iteration_in(MPI_COMM_WORLD);
   simgrid::s4u::this_actor::sleep_for(rank);
   AMPI_Iteration_out(MPI_COMM_WORLD);
   AMPI_Iteration_in(MPI_COMM_WORLD);
   simgrid::s4u::this_actor::sleep_for(rank);
   AMPI_Iteration_out(MPI_COMM_WORLD);

-  if (rank == 0)
+  if (rank == 0) {

     free(pointer);
     free(pointer);

+    pointer = nullptr;
+  }

   AMPI_Migrate(MPI_COMM_WORLD);
   if (rank != 0)
   AMPI_Migrate(MPI_COMM_WORLD);
   if (rank != 0)

-  free(pointer);
+    free(pointer);

 
   MPI_Finalize();
   return 0;
 
   MPI_Finalize();
   return 0;