[lwip-devel] [bug #36492] Static Analysis on code 1.4.0

[Mason]

Follow-up Comment #2, bug #36492 (project lwip):

> You need to find a way to tell your analyzer that LWIP_PLATFORM_ASSERT
behaves like assert.

I was incorrect. LWIP_PLATFORM_ASSERT behaves like abort (NB: this macro
should be renamed).

In GCC-speak, LWIP_PLATFORM_ASSERT would be given the "noreturn" attribute.

http://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html


    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/bugs/?36492>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/