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