From 8914cdf67bb2cdd7b64e6eeef5b06c29b24c3c96 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 5 Feb 2018 16:18:08 +0100 Subject: [PATCH] Kill dead code. process_data is empty a this point. --- src/smpi/internals/smpi_global.cpp | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/smpi/internals/smpi_global.cpp b/src/smpi/internals/smpi_global.cpp index 091dcb2652..0e46a5291d 100644 --- a/src/smpi/internals/smpi_global.cpp +++ b/src/smpi/internals/smpi_global.cpp @@ -344,18 +344,6 @@ void smpi_global_destroy() smpi_bench_destroy(); smpi_shared_destroy(); smpi_deployment_cleanup_instances(); - for (auto& pair : process_data) { - auto& process = pair.second; - if (process->comm_self() != MPI_COMM_NULL) { - simgrid::smpi::Comm::destroy(process->comm_self()); - } - if (process->comm_intra() != MPI_COMM_NULL) { - simgrid::smpi::Comm::destroy(process->comm_intra()); - } - xbt_os_timer_free(process->timer()); - xbt_mutex_destroy(process->mailboxes_mutex()); - } - process_data.clear(); if (simgrid::smpi::Colls::smpi_coll_cleanup_callback != nullptr) simgrid::smpi::Colls::smpi_coll_cleanup_callback(); -- 2.20.1