diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-26T13·10+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-26T13·10+0000 |
| commit | 966ffb29a7a7de00f3521da05f325ae8c7e8e35e (patch) | |
| tree | def423fe19bb2fe54a54729ee74023185a3be28a | |
| parent | 24035b98b155dd2d35414bdf015b3d7ab9a57af7 (diff) | |
* Update the Valgrind suppressions for ATerm 2.5.
| -rw-r--r-- | aterm-gc.supp | 32 |
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 +} |