*/
#ifdef NDEBUG
-#define ASSERT(x) ((void)0)
-#define ASSERT3B(x,y,z) ((void)0)
-#define ASSERT3S(x,y,z) ((void)0)
-#define ASSERT3U(x,y,z) ((void)0)
-#define ASSERT3P(x,y,z) ((void)0)
-#define ASSERT0(x) ((void)0)
-#define IMPLY(A, B) ((void)0)
-#define EQUIV(A, B) ((void)0)
+#define ASSERT(x) ((void)sizeof(x))
+#define ASSERT3B(x,y,z) ((void)sizeof(x), (void)sizeof(z))
+#define ASSERT3S(x,y,z) ((void)sizeof(x), (void)sizeof(z))
+#define ASSERT3U(x,y,z) ((void)sizeof(x), (void)sizeof(z))
+#define ASSERT3P(x,y,z) ((void)sizeof(x), (void)sizeof(z))
+#define ASSERT0(x) ((void)sizeof(x))
+#define IMPLY(A, B) ((void)sizeof(A), (void)sizeof(B))
+#define EQUIV(A, B) ((void)sizeof(A), (void)sizeof(B))
/*
* Debugging enabled (--enable-debug)
*/
#ifdef NDEBUG
-#define ASSERT(x) ((void)0)
-#define ASSERT3B(x,y,z) ((void)0)
-#define ASSERT3S(x,y,z) ((void)0)
-#define ASSERT3U(x,y,z) ((void)0)
-#define ASSERT3P(x,y,z) ((void)0)
-#define ASSERT0(x) ((void)0)
-#define IMPLY(A, B) ((void)0)
-#define EQUIV(A, B) ((void)0)
+#define ASSERT(x) ((void)sizeof(x))
+#define ASSERT3B(x,y,z) ((void)sizeof(x), (void)sizeof(z))
+#define ASSERT3S(x,y,z) ((void)sizeof(x), (void)sizeof(z))
+#define ASSERT3U(x,y,z) ((void)sizeof(x), (void)sizeof(z))
+#define ASSERT3P(x,y,z) ((void)sizeof(x), (void)sizeof(z))
+#define ASSERT0(x) ((void)sizeof(x))
+#define IMPLY(A, B) ((void)sizeof(A), (void)sizeof(B))
+#define EQUIV(A, B) ((void)sizeof(A), (void)sizeof(B))
/*
* Debugging enabled (--enable-debug)
__compile_time_assertion__ ## y[(x) ? 1 : -1]
#ifdef NDEBUG
-#define ASSERT3B(x, y, z) ((void)0)
-#define ASSERT3S(x, y, z) ((void)0)
-#define ASSERT3U(x, y, z) ((void)0)
-#define ASSERT3P(x, y, z) ((void)0)
-#define ASSERT0(x) ((void)0)
-#define ASSERT(x) ((void)0)
-#define assert(x) ((void)0)
-#define IMPLY(A, B) ((void)0)
-#define EQUIV(A, B) ((void)0)
+#define ASSERT3B(x, y, z) ((void) sizeof (x), (void) sizeof (z))
+#define ASSERT3S(x, y, z) ((void) sizeof (x), (void) sizeof (z))
+#define ASSERT3U(x, y, z) ((void) sizeof (x), (void) sizeof (z))
+#define ASSERT3P(x, y, z) ((void) sizeof (x), (void) sizeof (z))
+#define ASSERT0(x) ((void) sizeof (x))
+#define ASSERT(x) ((void) sizeof (x))
+#define assert(x) ((void) sizeof (x))
+#define IMPLY(A, B) ((void) sizeof (A), (void) sizeof (B))
+#define EQUIV(A, B) ((void) sizeof (A), (void) sizeof (B))
#else
#define ASSERT3B VERIFY3B
#define ASSERT3S VERIFY3S