diff options
Diffstat (limited to 'src/tools/valgrind.supp')
| -rw-r--r-- | src/tools/valgrind.supp | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/tools/valgrind.supp b/src/tools/valgrind.supp index e3a179d210b..4e8c482757b 100644 --- a/src/tools/valgrind.supp +++ b/src/tools/valgrind.supp @@ -15,24 +15,6 @@ # those bytes as padding, this is harmless. { - padding_pgstat_send - Memcheck:Param - socketcall.send(msg) - - fun:*send* - fun:pgstat_send -} - -{ - padding_pgstat_sendto - Memcheck:Param - socketcall.sendto(msg) - - fun:*send* - fun:pgstat_send -} - -{ padding_pgstat_write Memcheck:Param write(buf) |