summaryrefslogtreecommitdiff
path: root/gnu/memchr2.valgrind
diff options
context:
space:
mode:
authorRichard Maw <richard.maw@codethink.co.uk>2012-01-11 10:45:00 +0000
committerRichard Maw <richard.maw@codethink.co.uk>2012-01-11 10:45:00 +0000
commit24d1733e78a17d71aea6912144394ed7d3a82d50 (patch)
tree069608d934a8716d55a94c62c4bd75c1152f868c /gnu/memchr2.valgrind
parentd7b9fe130c2305d44fa1023283d3c2fcd389ba93 (diff)
downloadm4-24d1733e78a17d71aea6912144394ed7d3a82d50.tar.gz
remove .gitignores and add the rest of the files
Diffstat (limited to 'gnu/memchr2.valgrind')
-rwxr-xr-xgnu/memchr2.valgrind14
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
+}