diff options
Diffstat (limited to 'gl/memchr.valgrind')
-rw-r--r-- | gl/memchr.valgrind | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gl/memchr.valgrind b/gl/memchr.valgrind new file mode 100644 index 00000000..60f247e1 --- /dev/null +++ b/gl/memchr.valgrind | |||
@@ -0,0 +1,14 @@ | |||
1 | # Suppress a valgrind message about use of uninitialized memory in memchr(). | ||
2 | # POSIX states that when the character is found, memchr must not read extra | ||
3 | # bytes in an overestimated length (for example, where memchr is used to | ||
4 | # implement strnlen). However, we use a safe word read to provide a speedup. | ||
5 | { | ||
6 | memchr-value4 | ||
7 | Memcheck:Value4 | ||
8 | fun:rpl_memchr | ||
9 | } | ||
10 | { | ||
11 | memchr-value8 | ||
12 | Memcheck:Value8 | ||
13 | fun:rpl_memchr | ||
14 | } | ||