[PATCH 1/8] server: Mark block as writable in mark_block_uninitialized.

[Rémi Bernon]

From: Rémi Bernon

Before writing to it, it may have been marked as noaccess before
in free_shared_object.
---
 server/object.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/server/object.c b/server/object.c
index 3b72b576d50..36c9c60fb65 100644
--- a/server/object.c
+++ b/server/object.c
@@ -116,6 +116,11 @@ void mark_block_noaccess( void *ptr, size_t size )
 /* mark a block of memory as uninitialized for debugging purposes */
 void mark_block_uninitialized( void *ptr, size_t size )
 {
+#if defined(VALGRIND_MAKE_MEM_UNDEFINED)
+    VALGRIND_DISCARD( VALGRIND_MAKE_MEM_UNDEFINED( ptr, size ));
+#elif defined(VALGRIND_MAKE_WRITABLE)
+    VALGRIND_DISCARD( VALGRIND_MAKE_WRITABLE( ptr, size ));
+#endif
     memset( ptr, 0x55, size );
 #if defined(VALGRIND_MAKE_MEM_UNDEFINED)
     VALGRIND_DISCARD( VALGRIND_MAKE_MEM_UNDEFINED( ptr, size ));