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 | } | ||
