Parcourir la source

port r17383 from trunk: yet more suppressions

Samuel Thibault il y a 9 ans
Parent
commit
3b4510d60b
1 fichiers modifiés avec 21 ajouts et 0 suppressions
  1. 21 0
      tools/valgrind/openmpi.suppr

+ 21 - 0
tools/valgrind/openmpi.suppr

@@ -39,6 +39,13 @@
 }
 
 {
+   suppr5
+   Helgrind:Race
+   ...
+   fun:ompi_mpi_init
+}
+
+{
    suppr6
    Memcheck:Leak
    ...
@@ -53,6 +60,20 @@
 }
 
 {
+   suppr7
+   Memcheck:Leak
+   ...
+   fun:orte_progress_thread_engine
+}
+
+{
+   suppr7
+   Helgrind:Race
+   ...
+   fun:orte_progress_thread_engine
+}
+
+{
    suppr8
    Memcheck:Leak
    ...