diff options
author | Richard Maw <richard.maw@codethink.co.uk> | 2012-01-11 10:45:00 +0000 |
---|---|---|
committer | Richard Maw <richard.maw@codethink.co.uk> | 2012-01-11 10:45:00 +0000 |
commit | 24d1733e78a17d71aea6912144394ed7d3a82d50 (patch) | |
tree | 069608d934a8716d55a94c62c4bd75c1152f868c /gnu/memchr2.valgrind | |
parent | d7b9fe130c2305d44fa1023283d3c2fcd389ba93 (diff) | |
download | m4-24d1733e78a17d71aea6912144394ed7d3a82d50.tar.gz |
remove .gitignores and add the rest of the files
Diffstat (limited to 'gnu/memchr2.valgrind')
-rwxr-xr-x | gnu/memchr2.valgrind | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gnu/memchr2.valgrind b/gnu/memchr2.valgrind new file mode 100755 index 00000000..778fe867 --- /dev/null +++ b/gnu/memchr2.valgrind @@ -0,0 +1,14 @@ +# Suppress a valgrind message about use of uninitialized memory in memchr2(). +# Like memchr, it is safe to overestimate the length when the terminator +# is guaranteed to be found. In this case, we may end up reading a word +# that is partially uninitialized, but this use is OK for a speedup. +{ + memchr2-value4 + Memcheck:Value4 + fun:memchr2 +} +{ + memchr2-value8 + Memcheck:Value8 + fun:memchr2 +} |