#! /bin/sh

# This filter should be applied to *every* stderr results.  It removes Valgrind
# startup stuff and pid numbers.

# Remove ==pid== and --pid-- and ++pid++ strings 
sed "s/\(==\|--\|++\)[0-9]\{1,5\}\1 //"                                |

# Remove "<name>, a <description> for x86-linux." line and the following
# copyright notice line.  Works for skin and core intro lines.
sed "/^.*, .* for x86-linux\./ , /./ d"                                | 

# Remove other introductory lines
sed "/Estimated CPU clock rate is [0-9]\+ MHz/d"                       |
sed "/For more details, rerun with: -v/d"                              |

# Anonymise line numbers in vg_replace_malloc.c
sed "s/vg_replace_malloc.c:[0-9]\+/vg_replace_malloc.c:.../"           |

# Anonymise vg_intercept.c lines
sed "s/vg_intercept.c:[0-9]\+/vg_intercept.c:.../"                     |

# Anonymise vg_libpthread.c lines
sed "s/vg_libpthread.c:[0-9]\+/vg_libpthread.c:.../"                   |

# Reduce some libc incompatibility
sed "s/ __getsockname / getsockname /"                                 |
sed "s/ __sigaction / sigaction /"                                     |
sed "s/ __GI___/ __/"
