kill a useless file

[simgrid.git] / tools / simgrid.supp

diff --git a/tools/simgrid.supp b/tools/simgrid.supp
index 82cd7a8..e9a7f4f 100644 (file)
--- a/tools/simgrid.supp
+++ b/tools/simgrid.supp
@@ -72,6 +72,29 @@
    fun:smpi_simulated_main_
 }
 
+#SMPI leaks the dlopen handle used for loading the program
+{
+   dlopen handle leaks (1/2)
+   Memcheck:Leak
+   match-leak-kinds:reachable
+   fun:malloc
+   ...
+   fun:dlopen@@GLIBC_*
+   ...
+   fun:main
+}
+
+{
+   dlopen handle leaks (2/2)
+   Memcheck:Leak
+   match-leak-kinds:reachable
+   fun:calloc
+   ...
+   fun:dlopen@@GLIBC_*
+   ...
+   fun:main
+}
+
 # Memory leaks appearing to be in libcgraph.  They can be seen with the
 # following simple program:
 # ,----
@@ -139,3 +162,26 @@
    obj:*/libpthread*.so
    ...
 }
+
+{
+   ignore unwind cruft 
+   Memcheck:Param
+   rt_sigprocmask(set)
+   ...
+   obj:/usr/lib/x86_64-linux-gnu/libunwind.so.*
+   ...
+}
+{
+   ignore unwind cruft 
+   Memcheck:Param
+   msync(start)
+   ...
+   obj:/usr/lib/x86_64-linux-gnu/libunwind.so.*
+   ...
+}
+ 
+{
+   ignore unwind invalid reads 
+   Memcheck:Addr8
+   fun:_Ux86_64_setcontext
+}