From 223236c5a4b3ff5164042c3e62454e2148ce5a1e Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 13 Apr 2021 08:58:53 +0200 Subject: [PATCH 1/1] No need to duplicate variables. --- src/kernel/activity/CommImpl.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/kernel/activity/CommImpl.cpp b/src/kernel/activity/CommImpl.cpp index e9b38cef5e..303566a233 100644 --- a/src/kernel/activity/CommImpl.cpp +++ b/src/kernel/activity/CommImpl.cpp @@ -579,8 +579,6 @@ void CommImpl::finish() simcall->timeout_cb_ = nullptr; } if (not MC_is_active() && not MC_record_replay_is_active()) { - CommImpl** comms = simcall_comm_waitany__get__comms(simcall); - size_t count = simcall_comm_waitany__get__count(simcall); CommImpl** element = std::find(comms, comms + count, this); int rank = (element != comms + count) ? element - comms : -1; simcall_comm_waitany__set__result(simcall, rank); -- 2.20.1