03a611e
From 45908e4d120d33a558a8b052036c56cd0c90b898 Mon Sep 17 00:00:00 2001
03a611e
From: Yves Orton <demerphq@gmail.com>
03a611e
Date: Wed, 13 Sep 2017 13:30:25 +0200
03a611e
Subject: [PATCH] avoid  'the address of ... will always evaluate as ...' warns
03a611e
 in mem macros
03a611e
MIME-Version: 1.0
03a611e
Content-Type: text/plain; charset=UTF-8
03a611e
Content-Transfer-Encoding: 8bit
03a611e
03a611e
In f14cf363205 we added asserts to our memory macros (Copy(), Zero() etc)
03a611e
to ensure that the target is non-null. These asserts throw warnings like
03a611e
03a611e
    perl.c: In function ‘Perl_eval_sv’:
03a611e
    perl.c:2976:264: warning: the address of ‘myop’ will always evaluate
03a611e
    as ‘true’ [-Waddress]
03a611e
         Zero(&myop, 1, UNOP);
03a611e
03a611e
which is annoying. This patch changes how these asserts are coded so
03a611e
we avoid the warning. Thanks to Zefram for the fix.
03a611e
03a611e
Signed-off-by: Petr Písař <ppisar@redhat.com>
03a611e
---
03a611e
 handy.h | 17 ++++++++++-------
03a611e
 1 file changed, 10 insertions(+), 7 deletions(-)
03a611e
03a611e
diff --git a/handy.h b/handy.h
03a611e
index 31afaae65e..85e8f70721 100644
03a611e
--- a/handy.h
03a611e
+++ b/handy.h
03a611e
@@ -2409,17 +2409,20 @@ void Perl_mem_log_del_sv(const SV *sv, const char *filename, const int linenumbe
03a611e
 #define Safefree(d)	safefree(MEM_LOG_FREE((Malloc_t)(d)))
03a611e
 #endif
03a611e
 
03a611e
-#define Move(s,d,n,t)	(MEM_WRAP_CHECK_(n,t) assert(d), assert(s), (void)memmove((char*)(d),(const char*)(s), (n) * sizeof(t)))
03a611e
-#define Copy(s,d,n,t)	(MEM_WRAP_CHECK_(n,t) assert(d), assert(s), (void)memcpy((char*)(d),(const char*)(s), (n) * sizeof(t)))
03a611e
-#define Zero(d,n,t)	(MEM_WRAP_CHECK_(n,t) assert(d), (void)memzero((char*)(d), (n) * sizeof(t)))
03a611e
+#define perl_assert_ptr(p) assert( ((void*)(p)) != 0 )
03a611e
 
03a611e
-#define MoveD(s,d,n,t)	(MEM_WRAP_CHECK_(n,t) assert(d), assert(s), memmove((char*)(d),(const char*)(s), (n) * sizeof(t)))
03a611e
-#define CopyD(s,d,n,t)	(MEM_WRAP_CHECK_(n,t) assert(d), assert(s), memcpy((char*)(d),(const char*)(s), (n) * sizeof(t)))
03a611e
+
03a611e
+#define Move(s,d,n,t)	(MEM_WRAP_CHECK_(n,t) perl_assert_ptr(d), perl_assert_ptr(s), (void)memmove((char*)(d),(const char*)(s), (n) * sizeof(t)))
03a611e
+#define Copy(s,d,n,t)	(MEM_WRAP_CHECK_(n,t) perl_assert_ptr(d), perl_assert_ptr(s), (void)memcpy((char*)(d),(const char*)(s), (n) * sizeof(t)))
03a611e
+#define Zero(d,n,t)	(MEM_WRAP_CHECK_(n,t) perl_assert_ptr(d), (void)memzero((char*)(d), (n) * sizeof(t)))
03a611e
+
03a611e
+#define MoveD(s,d,n,t)	(MEM_WRAP_CHECK_(n,t) perl_assert_ptr(d), perl_assert_ptr(s), memmove((char*)(d),(const char*)(s), (n) * sizeof(t)))
03a611e
+#define CopyD(s,d,n,t)	(MEM_WRAP_CHECK_(n,t) perl_assert_ptr(d), perl_assert_ptr(s), memcpy((char*)(d),(const char*)(s), (n) * sizeof(t)))
03a611e
 #ifdef HAS_MEMSET
03a611e
-#define ZeroD(d,n,t)	(MEM_WRAP_CHECK_(n,t) assert(d), memzero((char*)(d), (n) * sizeof(t)))
03a611e
+#define ZeroD(d,n,t)	(MEM_WRAP_CHECK_(n,t) perl_assert_ptr(d), memzero((char*)(d), (n) * sizeof(t)))
03a611e
 #else
03a611e
 /* Using bzero(), which returns void.  */
03a611e
-#define ZeroD(d,n,t)	(MEM_WRAP_CHECK_(n,t) assert(d), memzero((char*)(d), (n) * sizeof(t)),d)
03a611e
+#define ZeroD(d,n,t)	(MEM_WRAP_CHECK_(n,t) perl_assert_ptr(d), memzero((char*)(d), (n) * sizeof(t)),d)
03a611e
 #endif
03a611e
 
03a611e
 #define PoisonWith(d,n,t,b)	(MEM_WRAP_CHECK_(n,t) (void)memset((char*)(d), (U8)(b), (n) * sizeof(t)))
03a611e
-- 
03a611e
2.13.6
03a611e