changeset 4576:213b64104477 draft

BSD: Work around another coverity false positive.
author Roy Marples <roy@marples.name>
date Tue, 23 Jul 2019 17:20:35 +0100
parents d0044fa1a6e1
children 7d16fc5c48f5
files src/if-bsd.c
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/if-bsd.c	Tue Jul 23 16:23:27 2019 +0100
+++ b/src/if-bsd.c	Tue Jul 23 17:20:35 2019 +0100
@@ -1335,6 +1335,9 @@
 		errno = EINVAL;
 		return -1;
 	}
+	/* We generally treat rtm.hdr has an array so we can easily
+	 * access the following data. */
+	/* coverity[callee_ptr_arith] */
 	return if_dispatch(ctx, &rtm.hdr);
 }