diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-19 12:46:43 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-19 12:46:43 +0000 |
| commit | 51e2dda58c4aa08c4833bdab6b0bb0fad8e1c595 (patch) | |
| tree | 793fd2c14ba5a4531e36567135af96601c6948c2 | |
| parent | b7ff182b6ef1f9d8db87de040b4ffc75db1cb9bc (diff) | |
* Some more ATerm Valgrind suppressions.
| -rw-r--r-- | aterm-gc.supp | 31 |
1 files changed, 27 insertions, 4 deletions
diff --git a/aterm-gc.supp b/aterm-gc.supp index a84952022..d85d60bcb 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 +} |