diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2012-05-10 23:18:35 -0400 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2012-05-10 23:18:35 -0400 |
| commit | 629bac4e7a0a9f7ef2a48ba515dabeee313f38d2 (patch) | |
| tree | 1eea536090c1524c8e5b3be5beaddfdb35b8e800 | |
| parent | f1c0e01168c12c8cdc5e3e60df0edc8012f86cd4 (diff) | |
| download | gpsd-629bac4e7a0a9f7ef2a48ba515dabeee313f38d2.tar.gz | |
Suppress more non-defects.
| -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 |