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

[Mason]

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

"Pointer 'foo' checked for NULL at line N will be dereferenced at line M"
messages are likely all false positives, as line N is an LWIP_ASSERT, which
shall not return if the assertion does not hold.

#ifndef LWIP_NOASSERT
#define LWIP_ASSERT(message, assertion) do { if(!(assertion)) 
  LWIP_PLATFORM_ASSERT(message); } while(0)
#else  /* LWIP_NOASSERT */
#define LWIP_ASSERT(message, assertion) 
#endif /* LWIP_NOASSERT */

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


    _______________________________________________________

Reply to this item at:

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

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