Add Coverity suppressions for new invariant checks.

1 files changed, 3 insertions, 0 deletions

diff --git a/driver_navcom.c b/driver_navcom.c
index 081cee1a..ffb7f393 100644
--- a/driver_navcom.c
+++ b/driver_navcom.c
@@ -334,6 +334,7 @@ static gps_mask_t handle_0x15(struct gps_device_t *session)
     uint8_t port, cmd_id = getub(buf, 3);
     gpsd_log(&session->context->errout, LOG_PROG,
 	     "Navcom: received packet type 0x15 (Negative Acknowledge)\n");
+    /* coverity_submit[tainted_data] */
     for (n = 4; n < (msg_len - 2); n += 2) {
 	uint8_t err_id = getub(buf, n);
 	uint8_t err_desc = getub(buf, n + 1);
@@ -726,6 +727,7 @@ static gps_mask_t handle_0x86(struct gps_device_t *session)
 
     /* Satellite details */
     i = nsu = 0;
+    /* coverity_submit[tainted_data] */
     for (n = 17; n < msg_len; n += 14) {
 	uint8_t prn, ele, ca_snr, p2_snr, log_channel, hw_channel, s, stat;
 	uint16_t azm, dgps_age;
@@ -827,6 +829,7 @@ static gps_mask_t handle_0xb0(struct gps_device_t *session)
 	     tm_slew_acc, status,
 	     ((status & 0x80) ? "channel time set - " : ""),
 	     ((status & 0x40) ? "stable" : "not stable"), status & 0x0f);
+    /* coverity_submit[tainted_data] */
     for (n = 11; n < msg_len - 1; n += 16) {
 	uint8_t sv_status = getub(buf, n);
 	uint8_t ch_status = getub(buf, n + 1);