Tell Coverity that we do need to call random() for IPv4LL addresses.

diff --git a/ipv4ll.c b/ipv4ll.c
index d33762d96cc20aba92be78e5add120a04c4f1eec..31f1b207590d3259f9aafbb11ef1dc89dd82d1c3 100644 (file)
--- a/ipv4ll.c
+++ b/ipv4ll.c
@@ -61,6 +61,7 @@ ipv4ll_pick_addr(const struct arp_state *astate)
                /* RFC 3927 Section 2.1 states that the first 256 and
                 * last 256 addresses are reserved for future use.
                 * See ipv4ll_start for why we don't use arc4_random. */
+               /* coverity[dont_call] */
                addr.s_addr = ntohl(LINKLOCAL_ADDR |
                    ((uint32_t)(random() % 0xFD00) + 0x0100));