ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Supressed coverity warnings for intentional NULL passing to ip_reass_dequeue_datagram

pull/11358/head
Tymoteusz Bloch 2019-08-26 16:47:05 +02:00 committed by Martin Kojtal
parent 5820a3172f
commit 83aa8b038b
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
features/lwipstack/lwip/src/core/ipv4/lwip_ip4_frag.c
View File

@ -206,9 +206,8 @@ ip_reass_free_complete_datagram(struct ip_reassdata *ipr, struct ip_reassdata *p
pbuf_free(pcur); pbuf_free(pcur);
} }
/* Then, unchain the struct ip_reassdata from the list and free it. */ /* Then, unchain the struct ip_reassdata from the list and free it. */
if (prev != NULL) { /* coverity [FORWARD_NULL]*/
ip_reass_dequeue_datagram(ipr, prev); ip_reass_dequeue_datagram(ipr, prev);
}
LWIP_ASSERT("ip_reass_pbufcount >= pbufs_freed", ip_reass_pbufcount >= pbufs_freed); LWIP_ASSERT("ip_reass_pbufcount >= pbufs_freed", ip_reass_pbufcount >= pbufs_freed);
ip_reass_pbufcount = (u16_t)(ip_reass_pbufcount - pbufs_freed); ip_reass_pbufcount = (u16_t)(ip_reass_pbufcount - pbufs_freed);
@ -662,9 +661,8 @@ ip4_reass(struct pbuf *p)
} }
/* release the sources allocate for the fragment queue entry */ /* release the sources allocate for the fragment queue entry */
if (ipr_prev != NULL) { /* coverity [FORWARD_NULL]*/
ip_reass_dequeue_datagram(ipr, ipr_prev); ip_reass_dequeue_datagram(ipr, ipr_prev);
}
/* and adjust the number of pbufs currently queued for reassembly. */ /* and adjust the number of pbufs currently queued for reassembly. */
clen = pbuf_clen(p); clen = pbuf_clen(p);
LWIP_ASSERT("ip_reass_pbufcount >= clen", ip_reass_pbufcount >= clen); LWIP_ASSERT("ip_reass_pbufcount >= clen", ip_reass_pbufcount >= clen);