diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2015-03-13 08:44:04 -0400 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2015-03-13 08:44:04 -0400 |
| commit | df28d9d7f9eabd2373df031fa2939d0b41ee6caa (patch) | |
| tree | 71ea48f96eeb2d42457764a0e64c0c109c92ffa7 /libgpsd_core.c | |
| parent | f0a7a853d5eac933f60b562f3b44102296c9e23f (diff) | |
| download | gpsd-df28d9d7f9eabd2373df031fa2939d0b41ee6caa.tar.gz | |
splint/cppcheck/coverity prerelease cleanup.
Diffstat (limited to 'libgpsd_core.c')
| -rw-r--r-- | libgpsd_core.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/libgpsd_core.c b/libgpsd_core.c index 5923e240..35510668 100644 --- a/libgpsd_core.c +++ b/libgpsd_core.c @@ -1438,7 +1438,8 @@ gps_mask_t gpsd_poll(struct gps_device_t *session) gps_merge_fix(&session->gpsdata.fix, session->gpsdata.set, &session->newdata); #ifndef NOFLOATS_ENABLE - gpsd_error_model(session, &session->gpsdata.fix, &session->oldfix); + /*@i1@*/gpsd_error_model(session, + &session->gpsdata.fix, &session->oldfix); #endif /* NOFLOATS_ENABLE */ /*@+nullderef -nullpass@*/ @@ -1665,7 +1666,7 @@ void ntp_latch(struct gps_device_t *device, struct timedelta_t /*@out@*/*td) /* this should be an invariant of the way this function is called */ assert(isnan(device->newdata.time)==0); - /*@i2@*/(void)clock_gettime(CLOCK_REALTIME, &td->clock); + (void)clock_gettime(CLOCK_REALTIME, &td->clock); fix_time = device->newdata.time; #ifdef TIMEHINT_ENABLE |