diff --git a/tools/valgrind/OpenMPI.supp b/tools/valgrind/OpenMPI.supp index d5a633b3ee..5e5c64cde8 100644 --- a/tools/valgrind/OpenMPI.supp +++ b/tools/valgrind/OpenMPI.supp @@ -109,6 +109,24 @@ fun:ompi_mpi_init fun:PMPI_Init } +{ + OpenMPI_MPI_init11 + Memcheck:Leak + match-leak-kinds: reachable + fun:malloc + ... + fun:ompi_mpi_init + fun:PMPI_Init +} +{ + OpenMPI_MPI_init12 + Memcheck:Leak + match-leak-kinds: definite + fun:malloc + ... + fun:ompi_mpi_init + fun:PMPI_Init +} { OpenMPI_MPI_thread1 Memcheck:Leak @@ -194,3 +212,26 @@ ... fun:clone } +{ + OpenMPI_dlerror1 + Memcheck:Leak + match-leak-kinds: definite + fun:malloc + ... + fun:_dl_init + fun:_dl_catch_exception + ... + fun:_dlerror_run +} +{ + OpenMPI_dlerror2 + Memcheck:Leak + match-leak-kinds: definite + fun:calloc + ... + fun:_dl_init + fun:_dl_catch_exception + ... + fun:dl_open_worker + fun:_dl_catch_exception +}