diff options
| -rw-r--r-- | driver_ubx.c | 2 | ||||
| -rw-r--r-- | gpsdctl.c | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/driver_ubx.c b/driver_ubx.c index b7d102d4..8c9bf896 100644 --- a/driver_ubx.c +++ b/driver_ubx.c @@ -549,6 +549,8 @@ bool ubx_write(struct gps_device_t * session, session->msgbuflen = data_len + 8; /*@ +type @*/ + + /* coverity[printf_arg_mismatch] */ gpsd_report(LOG_IO, "=> GPS: UBX class: %02x, id: %02x, len: %d, crc: %02x%02x\n", msg_class, msg_id, data_len, @@ -100,6 +100,7 @@ int main(int argc, char *argv[]) if (optenv != NULL) gpsd_options = optenv; + /* coverity[string_size] */] if (gpsd_control(argv[1], argv[2]) < 0) exit(1); else |