diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2013-11-12 17:05:27 -0500 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2013-11-12 17:05:27 -0500 |
| commit | 8eb7514a020463ffda56654de516095141ca63d3 (patch) | |
| tree | a1894b82185c438e1252a5e53ab11b9f54fdef63 /ppsthread.c | |
| parent | d9b6b5f4b9a7dcb8f37250a0f2c51629c3f26993 (diff) | |
| download | gpsd-8eb7514a020463ffda56654de516095141ca63d3.tar.gz | |
splint cleanup.
Diffstat (limited to 'ppsthread.c')
| -rw-r--r-- | ppsthread.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ppsthread.c b/ppsthread.c index 31ac30db..eb8f6a5e 100644 --- a/ppsthread.c +++ b/ppsthread.c @@ -495,22 +495,26 @@ static /*@null@*/ void *gpsd_ppsmonitor(void *arg) log1 = "no report hook"; if (session->context->pps_hook != NULL) session->context->pps_hook(session, &drift); - /*@+compdef@*/ /*@ -unrecog (splint has no pthread declarations as yet) @*/ (void)pthread_mutex_lock(&ppslast_mutex); /*@ +unrecog @*/ + /*@-type@*/ /* splint is confused about struct timespec */ session->ppslast = drift; + /*@+type@*/ session->ppscount++; /*@ -unrecog (splint has no pthread declarations as yet) @*/ (void)pthread_mutex_unlock(&ppslast_mutex); /*@ +unrecog @*/ + /*@+compdef@*/ } + /*@-type@*/ /* splint is confused about struct timespec */ gpsd_report(session->context->debug, LOG_INF, "PPS edge %.20s %lu.%09lu offset %.9f\n", log1, (unsigned long)clock_ts.tv_sec, (unsigned long)clock_ts.tv_nsec, offset); + /*@+type@*/ } else { gpsd_report(session->context->debug, LOG_RAW, "PPS edge rejected %.100s", log); |