From 51e2dda58c4aa08c4833bdab6b0bb0fad8e1c595 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Tue, 19 Aug 2008 12:46:43 +0000
Subject: [PATCH] * Some more ATerm Valgrind suppressions.

---
 aterm-gc.supp | 31 +++++++++++++++++++++++++++----
 1 file changed, 27 insertions(+), 4 deletions(-)

diff --git a/aterm-gc.supp b/aterm-gc.supp
index a849520222..d85d60bcbf 100644
--- a/aterm-gc.supp
+++ b/aterm-gc.supp
@@ -152,7 +152,7 @@
 }
 
 {
-   <insert a suppression name here>
+   ATerm library conservatively scans for GC roots
    Memcheck:Cond
    fun:AT_isValidSymbol
    fun:mark_phase_young
@@ -160,7 +160,7 @@
 }
 
 {
-   <insert a suppression name here>
+   ATerm library conservatively scans for GC roots
    Memcheck:Value4
    fun:AT_isValidSymbol
    fun:mark_phase_young
@@ -168,7 +168,7 @@
 }
 
 {
-   <insert a suppression name here>
+   ATerm library conservatively scans for GC roots
    Memcheck:Value4
    fun:AT_isInsideValidTerm
    fun:mark_phase_young
@@ -176,9 +176,32 @@
 }
 
 {
-   <insert a suppression name here>
+   ATerm library conservatively scans for GC roots
    Memcheck:Cond
    fun:AT_isInsideValidTerm
    fun:mark_phase_young
    fun:AT_collect_minor
 }
+
+{
+   ATerm library conservatively scans for GC roots
+   Memcheck:Value4
+   fun:AT_isValidSymbol
+   fun:AT_collect_minor
+}
+
+{
+   ATerm library conservatively scans for GC roots
+   Memcheck:Value4
+   fun:AT_markTerm_young
+   fun:mark_phase_young
+   fun:AT_collect_minor
+}
+
+{
+   ATerm library conservatively scans for GC roots
+   Memcheck:Cond
+   fun:AT_markTerm_young
+   fun:mark_phase_young
+   fun:AT_collect_minor
+}