#define LWIP_PLATFORM_DIAG(xyz) {char tmpbuf2[225];sprintf(tmpbuf2,xyz );print_dbg(tmpbuf2);}

#define LWIP_DEBUGF(debug,x) do { \
if ( A>B) \
{ LWIP_PLATFORM_DIAG(x); }
} while(0)

LWIP_DEBUGF(UDP_DEBUG | LWIP_DBG_TRACE | 3, ("asdf= %x\n",1234));

предпроцессор все это разворачивает в
do { if ( ((0x80U | 0x40U | 3) & 0x80U) && ((0x80U | 0x40U | 3) & (0x80U|0x40U|0x20U|0x10U)) && ((s16_t)((0x80U | 0x40U | 3) & 0x03) >= 0x03)) { {char tmpbuf2[225]; sprintf(tmpbuf2,("asdf= %x\n",1234) );print_dbg(tmpbuf2);}; if ((0x80U | 0x40U | 3) & 0x08U) { while(1); } } } while(0);


Самое непонятное в этом, sprintf(tmpbuf2,("asdf= %x\n",1234) ); как оно должно работать?
--------------------------------------------------------
Переделал в
#define LWIP_DEBUGF(debug, ...) do { \if ( \((debug) & LWIP_DBG_ON) && \((debug) & LWIP_DBG_TYPES_ON) && \((s16_t)((debug) & LWIP_DBG_MASK_LEVEL) >= LWIP_DBG_MIN_LEVEL)) \{printf_dbg(__VA_ARGS__); if ((debug) & LWIP_DBG_HALT) { while(1); } \} \
} while(0)

Если писать так:
LWIP_DEBUGF(UDP_DEBUG | LWIP_DBG_TRACE | 3, "asdf= %x\n",1234);

То все ок.
После предпроцессора получается
    do { if ( ((0x80U | 0x40U | 3) & 0x80U) && ((0x80U | 0x40U | 3) & (0x80U|0x40U|0x20U|0x10U)) && ((s16_t)((0x80U | 0x40U | 3) & 0x03) >= 0x03)) {printf_dbg("asdf=  %x\n",1234); if ((0x80U | 0x40U | 3) & 0x08U) { while(1); } } } while(0);

Но если делать так как у них в коде ПОВСЮДУ сделано,
LWIP_DEBUGF(SOCKETS_DEBUG, ("lwip_accept(%d) returning new sock=%d addr=", s, newsock));
То получается жопа

do { if ( ((0x80U) & 0x80U) && ((0x80U) & (0x80U|0x40U|0x20U|0x10U)) && ((s16_t)((0x80U) & 0x03) >= 0x03)) {printf_dbg(("lwip_accept(%d) returning new sock=%d addr=", s, newsock)); if ((0x80U) & 0x08U) { while(1); } } } while(0);


Жопа в том, что тут двое скобок. printf_dbg(("lwip_accept(%d) returning new sock=%d addr=", s, newsock)); У атмеля явно баг, но как LwIP вообще отлаживались, я понять не могу.