Skip to contentSkip to conversation

fix ASSERT and ASSERT_ALWAYS

PATCH In review Christoph Hellwig 3 participants 3 messages Jul 14, 2007 – Jul 16, 2007 XFS filesystem

lore
Share & tools
lore
#0 lore raw

PATCH 1/1 fix ASSERT and ASSERT_ALWAYS

- remove the != 0 inside the unlikely in ASSERT_ALWAYS because sparse now complains about comparisms between pointers and 0
- add a standalone ASSERT implementation because defining it to ASSERT_ALWAYS means the string is expanded before the #token passing stringification. This way we get the actual content of the assertatio in the assfail message and don't overflow sparse's strinification buffer leading to sparse error messages.

fs/xfs/support/debug.h +6 -4
Index: linux-2.6-xfs/fs/xfs/support/debug.h
===================================================================
@@ -34,10 +34,10 @@ extern void cmn_err(int, char *, ...)
 extern void assfail(char *expr, char *f, int l);
 
 #define ASSERT_ALWAYS(expr)	\
-	(unlikely((expr) != 0) ? (void)0 : assfail(#expr, __FILE__, __LINE__))
+	(unlikely(expr) ? (void)0 : assfail(#expr, __FILE__, __LINE__))
 
 #ifndef DEBUG
-# define ASSERT(expr)	((void)0)
+#define ASSERT(expr)	((void)0)
 
 #ifndef STATIC
 # define STATIC static noinline
@@ -49,8 +49,10 @@ extern void assfail(char *expr, char *f,
 
 #else /* DEBUG */
 
-# define ASSERT(expr)	ASSERT_ALWAYS(expr)
-# include <linux/random.h>
+#include <linux/random.h>
+
+#define ASSERT(expr)	\
+	(unlikely(expr) ? (void)0 : assfail(#expr, __FILE__, __LINE__))
 
 #ifndef STATIC
 # define STATIC noinline
#1 lore raw
Quoted 7 lines · Christoph Hellwig

- remove the != 0 inside the unlikely in ASSERT_ALWAYS because sparse now complains about comparisms between pointers and 0
- add a standalone ASSERT implementation because defining it to ASSERT_ALWAYS means the string is expanded before the #token passing stringification. This way we get the actual content of the assertatio in the assfail message and don't overflow sparse's strinification buffer leading to sparse error messages.

Looks fine to me.

-Eric

Quoted 35 lines

Index: linux-2.6-xfs/fs/xfs/support/debug.h
===================================================================

fs/xfs/support/debug.h +6 -4
@@ -34,10 +34,10 @@ extern void cmn_err(int, char *, ...)
 extern void assfail(char *expr, char *f, int l);
 
 #define ASSERT_ALWAYS(expr)	\
-	(unlikely((expr) != 0) ? (void)0 : assfail(#expr, __FILE__, __LINE__))
+	(unlikely(expr) ? (void)0 : assfail(#expr, __FILE__, __LINE__))
 
 #ifndef DEBUG
-# define ASSERT(expr)	((void)0)
+#define ASSERT(expr)	((void)0)
 
 #ifndef STATIC
 # define STATIC static noinline
@@ -49,8 +49,10 @@ extern void assfail(char *expr, char *f,
 
 #else /* DEBUG */
 
-# define ASSERT(expr)	ASSERT_ALWAYS(expr)
-# include <linux/random.h>
+#include <linux/random.h>
+
+#define ASSERT(expr)	\
+	(unlikely(expr) ? (void)0 : assfail(#expr, __FILE__, __LINE__))
 
 #ifndef STATIC
 # define STATIC noinline
#2 lore raw
In reply to Christoph Hellwig
Quoted 10 lines · Christoph Hellwig

- remove the != 0 inside the unlikely in ASSERT_ALWAYS because sparse now complains about comparisms between pointers and 0
- add a standalone ASSERT implementation because defining it to ASSERT_ALWAYS means the string is expanded before the #token passing stringification. This way we get the actual content of the assertatio in the assfail message and don't overflow sparse's strinification buffer leading to sparse error messages.

OK.

Rather than replying to each patch, Christoph - I've taken the whole set into my queue for 2.6.24. All the warnings and cleanups look ok and should not be a problem, but I need to have a much closer look at the bmbt_rec endian notation series before that goes further.

Cheers,

Dave.

Signature · 3 lines
Dave Chinner
Principal Engineer
SGI Australian Software Group