about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-08-19T12·46+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-08-19T12·46+0000
commit51e2dda58c4aa08c4833bdab6b0bb0fad8e1c595 (patch)
tree793fd2c14ba5a4531e36567135af96601c6948c2
parentb7ff182b6ef1f9d8db87de040b4ffc75db1cb9bc (diff)
* Some more ATerm Valgrind suppressions.
-rw-r--r--aterm-gc.supp31
1 files changed, 27 insertions, 4 deletions
diff --git a/aterm-gc.supp b/aterm-gc.supp
index a84952022204..d85d60bcbfd3 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
+}