diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2015-02-09 18:13:24 -0500 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2015-02-09 18:13:24 -0500 |
commit | 2c9e5b2eb52fb2d6eee3f8fc50ee916e68ee017a (patch) | |
tree | 319097a2c8197088687bd9a8000863c20b011239 /libgpsd_core.c | |
parent | 5242310d708875cba0d3042917a0c68ee6d267e7 (diff) | |
download | gpsd-2c9e5b2eb52fb2d6eee3f8fc50ee916e68ee017a.tar.gz |
splint cleanup. All regressiion tests pass.
Diffstat (limited to 'libgpsd_core.c')
-rw-r--r-- | libgpsd_core.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/libgpsd_core.c b/libgpsd_core.c index 7d8d16fe..e0d605a0 100644 --- a/libgpsd_core.c +++ b/libgpsd_core.c @@ -322,8 +322,8 @@ void gpsd_init(struct gps_device_t *session, struct gps_context_t *context, { /* clear some times */ session->last_fixtime.real = 0.0; - session->last_fixtime.clock.tv_sec = 0; - session->last_fixtime.clock.tv_nsec = 0; + /*@i2@*/session->last_fixtime.clock.tv_sec = 0; + /*@i2@*/session->last_fixtime.clock.tv_nsec = 0; #ifdef PPS_ENABLE memset( (void *)&session->ppslast, 0, sizeof(session->ppslast)); session->ppscount = 0; @@ -424,8 +424,8 @@ void gpsd_clear(struct gps_device_t *session) memset( (void *)&session->driver, '\0', sizeof(session->driver)); /* clear some times */ session->last_fixtime.real = 0.0; - session->last_fixtime.clock.tv_sec = 0; - session->last_fixtime.clock.tv_nsec = 0; + /*@i2@*/session->last_fixtime.clock.tv_sec = 0; + /*@i2@*/session->last_fixtime.clock.tv_nsec = 0; #ifdef PPS_ENABLE memset( (void *)&session->ppslast, 0, sizeof(session->ppslast)); session->ppscount = 0; @@ -1110,7 +1110,6 @@ gps_mask_t gpsd_poll(struct gps_device_t *session) { ssize_t newlen; bool driver_change = false; - float alpha; gps_clear_fix(&session->newdata); |