about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-02-26T13·10+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-02-26T13·10+0000
commit966ffb29a7a7de00f3521da05f325ae8c7e8e35e (patch)
treedef423fe19bb2fe54a54729ee74023185a3be28a
parent24035b98b155dd2d35414bdf015b3d7ab9a57af7 (diff)
* Update the Valgrind suppressions for ATerm 2.5.
-rw-r--r--aterm-gc.supp32
1 files changed, 32 insertions, 0 deletions
diff --git a/aterm-gc.supp b/aterm-gc.supp
index dcd6371fe5aa..21b9a2372856 100644
--- a/aterm-gc.supp
+++ b/aterm-gc.supp
@@ -115,3 +115,35 @@
    fun:*
    fun:AT_collect
 }
+
+{
+   ATerm library conservatively scans for GC roots
+   Memcheck:Value4
+   fun:*
+   fun:*
+   fun:mark_phase
+}
+
+{
+   ATerm library conservatively scans for GC roots
+   Memcheck:Cond
+   fun:*
+   fun:*
+   fun:mark_phase
+}
+
+{
+   ATerm library conservatively scans for GC roots
+   Memcheck:Value4
+   fun:*
+   fun:*
+   fun:mark_phase_young
+}
+
+{
+   ATerm library conservatively scans for GC roots
+   Memcheck:Cond
+   fun:*
+   fun:*
+   fun:mark_phase_young
+}