[XFS] fix ASSERT and ASSERT_ALWAYS

- remove the != 0 inside the unlikely in ASSERT_ALWAYS because sparse now
complains about comparisons 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
assertion in the assfail message and don't overflow sparse's
stringification buffer leading to sparse error messages.

SGI-PV: 968555
SGI-Modid: xfs-linux-melb:xfs-kern:29310a

Signed-off-by: Christoph Hellwig <hch@infradead.org>
Signed-off-by: David Chinner <dgc@sgi.com>
Signed-off-by: Tim Shimmin <tes@sgi.com>

authored by Christoph Hellwig and committed by Tim Shimmin ee5c8023 34521c5e

+6 -4
+6 -4
fs/xfs/support/debug.h
··· 34 34 extern void assfail(char *expr, char *f, int l); 35 35 36 36 #define ASSERT_ALWAYS(expr) \ 37 - (unlikely((expr) != 0) ? (void)0 : assfail(#expr, __FILE__, __LINE__)) 37 + (unlikely(expr) ? (void)0 : assfail(#expr, __FILE__, __LINE__)) 38 38 39 39 #ifndef DEBUG 40 - # define ASSERT(expr) ((void)0) 40 + #define ASSERT(expr) ((void)0) 41 41 42 42 #ifndef STATIC 43 43 # define STATIC static noinline ··· 49 49 50 50 #else /* DEBUG */ 51 51 52 - # define ASSERT(expr) ASSERT_ALWAYS(expr) 53 - # include <linux/random.h> 52 + #include <linux/random.h> 53 + 54 + #define ASSERT(expr) \ 55 + (unlikely(expr) ? (void)0 : assfail(#expr, __FILE__, __LINE__)) 54 56 55 57 #ifndef STATIC 56 58 # define STATIC noinline