Re: [CHECKER] Is this a bug?

[Giacomo Catenazzi <cate@debian.org>]

> 
> Also (in a separate patch at the end) is the removal of a whole bunch of:
> 
> #ifdef IP2DEBUG_TRACE
> 	ip2trace(foo);
> #endif
> 
> and replacing it with (the Linus-preferred, and far cleaner):
> 
> #ifdef IP2DEBUG_TRACE
> void ip2trace(foo)
> #else
> #define ip2trace(foo) do {} while (0)
> #endif
> 

Why in Linux we use "do {} while (0)" instead of the
standard "(void)0" ?
(standard = as normal libc in <assert.h>)

do while(0) is used for multiple statment macro to avoid problem
in if-else, not for empty instructions.


	giacomo