model-checker : fix SIMCALL_MUTEX_LOCK with MC

[simgrid.git] / tools / simgrid.supp

diff --git a/tools/simgrid.supp b/tools/simgrid.supp
index 27bab275b213ad74e8eb3e818514972d656a108d..dbbae62ac198b013119191a418bf6425744a5f68 100644 (file)
--- a/tools/simgrid.supp
+++ b/tools/simgrid.supp
@@ -31,6 +31,16 @@
    fun:__libc_dlopen_mode
 }
 
    fun:__libc_dlopen_mode
 }
 

+# Another problem in glibc, where makecontext does not reset the EBP register,
+# and backtrace goes too far when walking up the stack frames
+{
+   Invalid read in backtrace, called after makecontext
+   Memcheck:Addr4
+   fun:backtrace
+   ...
+   fun:makecontext
+}
+

 # Memory leaks appearing to be in libcgraph.  They can be seen with the
 # following simple program:
 # ,----
 # Memory leaks appearing to be in libcgraph.  They can be seen with the
 # following simple program:
 # ,----