summaryrefslogtreecommitdiff
path: root/libgpsd_core.c
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2015-03-28 19:02:23 -0400
committerEric S. Raymond <esr@thyrsus.com>2015-03-28 19:02:23 -0400
commit009ba6e3452df29cbf1757bc0c79dc14683a98da (patch)
tree4775cfa65e817c69a6f29a0ac87daab8701c7ae2 /libgpsd_core.c
parent5f710d3469c8da31014000ac13664fe92c57757d (diff)
downloadgpsd-009ba6e3452df29cbf1757bc0c79dc14683a98da.tar.gz
Clean up most spint errors. All regression tests pass.
Diffstat (limited to 'libgpsd_core.c')
-rw-r--r--libgpsd_core.c8
1 files changed, 4 insertions, 4 deletions
diff --git a/libgpsd_core.c b/libgpsd_core.c
index e29fb7d9..33d2a48a 100644
--- a/libgpsd_core.c
+++ b/libgpsd_core.c
@@ -446,10 +446,10 @@ void gpsd_clear(struct gps_device_t *session)
/* set up the context structure for the PPS thread monitor */
memset((void *)&session->pps_thread, 0, sizeof(session->pps_thread));
session->pps_thread.devicefd = session->gpsdata.gps_fd;
- session->pps_thread.devicename = session->gpsdata.dev.path;
+ /*@i2@*/session->pps_thread.devicename = session->gpsdata.dev.path;
session->pps_thread.pps_hook = NULL;
session->pps_thread.log_hook = ppsthread_log;
- session->pps_thread.context = (void *)session;
+ /*@i4@*/session->pps_thread.context = (void *)session;
#endif /* PPS_ENABLE */
session->opentime = time(NULL);
@@ -1440,7 +1440,7 @@ 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@*/
@@ -1605,7 +1605,7 @@ int gpsd_multipoll(const bool data_ready,
/* handle data contained in this packet */
if (device->lexer.type != BAD_PACKET)
- handler(device, changed);
+ /*@i1@*/handler(device, changed);
#ifdef __future__
/*