koch: better valgrind support

This commit is contained in:
Andreas Rumpf 2017-03-17 08:29:28 +01:00
commit 7ba565258d
2 changed files with 26 additions and 5 deletions

View file

@ -12,3 +12,10 @@
fun:markStackAndRegisters*
...
}
{
unmarkStackAndRegisters_Value8
Memcheck:Value8
...
fun:unmarkStackAndRegisters_zoTIuavlrCHyw3B8MBaLJA_6
...
}