Browse Source

port r17391 from 1.2: Yet more suppressions

Samuel Thibault 9 years ago
parent
commit
3e691016dd
1 changed files with 14 additions and 0 deletions
  1. 14 0
      tools/valgrind/openmpi.suppr

+ 14 - 0
tools/valgrind/openmpi.suppr

@@ -102,6 +102,20 @@
 }
 
 {
+   suppr10
+   Helgrind:Misc
+   ...
+   fun:ompi_mpi_finalize
+}
+
+{
+   suppr10
+   Helgrind:PthAPIerror
+   ...
+   fun:ompi_mpi_finalize
+}
+
+{
    suppr11
    Memcheck:Leak
    ...