From: Arnaud Giersch Date: Tue, 24 Nov 2020 14:50:29 +0000 (+0100) Subject: Kill unused field. X-Git-Tag: v3.26~122 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/12ca0725398bde9b4230092eb70e45a8768133bd Kill unused field. --- diff --git a/src/mc/remote/RemoteSimulation.cpp b/src/mc/remote/RemoteSimulation.cpp index ff36950e1d..75895f150d 100644 --- a/src/mc/remote/RemoteSimulation.cpp +++ b/src/mc/remote/RemoteSimulation.cpp @@ -128,11 +128,6 @@ static const std::vector filtered_libraries = { "libz", "libzstd"}; -static bool is_simgrid_lib(const std::string& libname) -{ - return libname == "libsimgrid"; -} - static bool is_filtered_lib(const std::string& libname) { return std::find(begin(filtered_libraries), end(filtered_libraries), libname) != end(filtered_libraries); @@ -299,7 +294,6 @@ void RemoteSimulation::init_memory_map_info() this->maestro_stack_end_ = nullptr; this->object_infos.resize(0); this->binary_info = nullptr; - this->libsimgrid_info = nullptr; std::vector const& maps = this->memory_map_; @@ -348,8 +342,6 @@ void RemoteSimulation::init_memory_map_info() this->object_infos.push_back(info); if (is_executable) this->binary_info = info; - else if (is_simgrid_lib(libname)) - this->libsimgrid_info = info; } // Resolve time (including across different objects): diff --git a/src/mc/remote/RemoteSimulation.hpp b/src/mc/remote/RemoteSimulation.hpp index 7c2c8f2cac..fbfc42a902 100644 --- a/src/mc/remote/RemoteSimulation.hpp +++ b/src/mc/remote/RemoteSimulation.hpp @@ -207,7 +207,6 @@ public: // object info // TODO, make private (first, objectify simgrid::mc::ObjectInformation*) std::vector> object_infos; - std::shared_ptr libsimgrid_info; std::shared_ptr binary_info; // Copies of MCed SMX data structures