From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 11 Jul 2005 23:28:09 +0000 (+0000)
Subject: (verify_expr): Use ((verify_type__ (R) *) 0), not
X-Git-Tag: CPPI-1_12~251
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=7c97d643b9e44ffc992bc6fddb6c5a7f0824b7c7;p=thirdparty%2Fcoreutils.git

(verify_expr): Use ((verify_type__ (R) *) 0), not
sizeof (verify_type__ (R)), to pacify C++ compilers.
---

diff --git a/lib/ChangeLog b/lib/ChangeLog
index 66225fe59d..dc341fd61f 100644
--- a/lib/ChangeLog
+++ b/lib/ChangeLog
@@ -1,5 +1,9 @@
 2005-07-11  Paul Eggert  <eggert@cs.ucla.edu>
 
+	* verify.h (verify_expr): Use ((verify_type__ (R) *) 0), not
+	sizeof (verify_type__ (R)), to pacify C++ compilers.  Problem
+	reported by Bruno Haible.
+
 	* version-etc-fsf.c (version_etc_copyright): Parameterize the
 	copyright symbol and the year.
 	* version-etc.c (COPYRIGHT_YEAR): New constant.
diff --git a/lib/verify.h b/lib/verify.h
index 322851bb5c..4461f4e47b 100644
--- a/lib/verify.h
+++ b/lib/verify.h
@@ -52,6 +52,6 @@
    This macro can be used in some contexts where verify cannot, and vice versa.
    Return void.  */
 
-# define verify_expr(R) ((void) sizeof (verify_type__ (R)))
+# define verify_expr(R) ((void) ((verify_type__ (R) *) 0))
 
 #endif