diff options
Diffstat (limited to 'lib/rawmemchr.valgrind')
| -rw-r--r-- | lib/rawmemchr.valgrind | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lib/rawmemchr.valgrind b/lib/rawmemchr.valgrind deleted file mode 100644 index 63639236..00000000 --- a/lib/rawmemchr.valgrind +++ /dev/null @@ -1,12 +0,0 @@ -# Suppress a valgrind message about use of uninitialized memory in rawmemchr(). -# This use is OK because it provides only a speedup. -{ - rawmemchr-value4 - Memcheck:Value4 - fun:rawmemchr -} -{ - rawmemchr-value8 - Memcheck:Value8 - fun:rawmemchr -} |