diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2015-03-08 13:15:48 -0400 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2015-03-08 13:15:48 -0400 |
| commit | 5a715483cd50180778974d96fdb3c4a8fef598e4 (patch) | |
| tree | 63e4dee41f410c4c2db8fe9c75b4cebcf9f502ad /libgpsd_core.c | |
| parent | 5fdd69a308ec9b799424d90de5a4888a25d51558 (diff) | |
| download | gpsd-5a715483cd50180778974d96fdb3c4a8fef598e4.tar.gz | |
splint cleanup of new code.
Diffstat (limited to 'libgpsd_core.c')
| -rw-r--r-- | libgpsd_core.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libgpsd_core.c b/libgpsd_core.c index e8ed6852..4178b5f3 100644 --- a/libgpsd_core.c +++ b/libgpsd_core.c @@ -422,7 +422,7 @@ static void ppsthread_log(volatile struct pps_thread_t *pps_thread, } -/*@-usereleased -compdef@*/ +/*@-usereleased -compdef -compmempass@*/ void gpsd_clear(struct gps_device_t *session) /* device has been opened - clear its storage for use */ { @@ -443,15 +443,15 @@ 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 = timestamp(); } -/*@+usereleased +compdef@*/ +/*@+usereleased +compdef +compmempass@*/ int gpsd_open(struct gps_device_t *session) /* open a device for access to its data */ |