diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-13T12·48+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-02-13T12·48+0000 |
| commit | 0ca0a4da9f63c8c036d82c2366f4c794bcd327d2 (patch) | |
| tree | 658df39cf7faa2f28ba4ae26495b0adda27e4a99 /aterm-gc.supp | |
| parent | da0a6b6499ea89bc9858d32970da8f26c5f3c56b (diff) | |
* Valgrind suppressions for the ATerm library. The ATerm library uses
a conservative garbage collector that scans the stack and parts of the heap for pointers to ATerms. This scan can touch uninitialised memory, which is harmless. Use: $ valgrind --suppressions=aterm-gc.supp ...
Diffstat (limited to 'aterm-gc.supp')
| -rw-r--r-- | aterm-gc.supp | 130 |
1 files changed, 130 insertions, 0 deletions
diff --git a/aterm-gc.supp b/aterm-gc.supp new file mode 100644 index 0000000000..ee6b5c8353 --- /dev/null +++ b/aterm-gc.supp @@ -0,0 +1,130 @@ +{ + ATerm library conservatively scans for GC roots + Memcheck:Cond + fun:mark_memory_young + fun:mark_phase_young +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Cond + fun:AT_isValidSymbol + fun:mark_memory_young + fun:mark_phase_young +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Value4 + fun:AT_isValidSymbol + fun:mark_memory_young + fun:mark_phase_young +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Value4 + fun:mark_memory_young + fun:mark_phase_young +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Value4 + fun:AT_isInsideValidTerm + fun:mark_memory_young + fun:mark_phase_young +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Cond + fun:AT_isInsideValidTerm + fun:mark_memory_young + fun:mark_phase_young +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Value4 + fun:mark_memory_young + fun:mark_phase_young +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Value4 + fun:AT_markTerm_young + fun:mark_memory_young + fun:mark_phase_young +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Cond + fun:AT_markTerm_young + fun:mark_memory_young + fun:mark_phase_young +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Cond + fun:mark_memory + fun:mark_phase +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Value4 + fun:mark_memory + fun:mark_phase +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Cond + fun:AT_isValidSymbol + fun:mark_memory + fun:mark_phase +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Value4 + fun:AT_isValidSymbol + fun:mark_memory + fun:mark_phase +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Value4 + fun:AT_isInsideValidTerm + fun:mark_memory + fun:mark_phase +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Cond + fun:AT_isInsideValidTerm + fun:mark_memory + fun:mark_phase +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Cond + fun:AT_markTerm + fun:mark_memory + fun:mark_phase +} + +{ + ATerm library conservatively scans for GC roots + Memcheck:Value4 + fun:AT_markTerm + fun:mark_memory + fun:mark_phase +} |