(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 66225fe59d4e950c23021c7759277c60f589a381..dc341fd61f7ca401312095bd7b5d948a8e5de5f5 100644 (file)
--- 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 322851bb5cfeee28cac8e75af779fb50fa7e377a..4461f4e47bc477ebfb6fab07feb7f31ea3841849 100644 (file)
--- 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