From 37dd7c7f9c9ae7d226e4acd0ebd0269d4b22c0a5 Mon Sep 17 00:00:00 2001 From: Henry Arhin Date: Mon, 12 Aug 2024 18:13:24 -0400 Subject: [PATCH] Removed maybe unused in [[ ]] --- source/base/mpi.cc | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/source/base/mpi.cc b/source/base/mpi.cc index 94200c48be..75c1f4272b 100644 --- a/source/base/mpi.cc +++ b/source/base/mpi.cc @@ -234,7 +234,7 @@ namespace Utilities if (p != nullptr) { const int ierr = MPI_Type_free(p); - (void)ierr; + AssertNothrow(ierr == MPI_SUCCESS, ExcMPI(ierr)); delete p; @@ -254,12 +254,11 @@ namespace Utilities { const unsigned int myid = Utilities::MPI::this_mpi_process(mpi_comm); const unsigned int n_procs = Utilities::MPI::n_mpi_processes(mpi_comm); - (void)myid; - (void)n_procs; + + for (const unsigned int destination : destinations) { - (void)destination; AssertIndexRange(destination, n_procs); } @@ -396,7 +395,6 @@ namespace Utilities for (const unsigned int destination : destinations) { - (void)destination; AssertIndexRange(destination, n_procs); Assert(destination != Utilities::MPI::this_mpi_process(mpi_comm), ExcMessage( -- 2.39.5