diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2013-11-18 05:23:28 -0500 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2013-11-18 05:23:28 -0500 |
| commit | edec7378e717ef9a3a73729f16d72852eb2c5615 (patch) | |
| tree | 62adc877518da3f128bac9d25a8b4698d18f7c46 /ppsthread.c | |
| parent | b935cd9dfa021ef1857263bb059507bb47c34772 (diff) | |
| download | gpsd-edec7378e717ef9a3a73729f16d72852eb2c5615.tar.gz | |
spint annotation fixes. No logic changes.
All regression tests pass, PPS is live.
Diffstat (limited to 'ppsthread.c')
| -rw-r--r-- | ppsthread.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ppsthread.c b/ppsthread.c index ef33e7e0..fe1947b2 100644 --- a/ppsthread.c +++ b/ppsthread.c @@ -507,12 +507,14 @@ static /*@null@*/ void *gpsd_ppsmonitor(void *arg) (void)pthread_mutex_unlock(&ppslast_mutex); /*@ +unrecog @*/ /*@+compdef@*/ + /*@-type@*/ /* splint is confused about struct timespec */ gpsd_report(session->context->debug, LOG_INF, "PPS hooks called with %.20s %lu.%09lu offset %.9f\n", log1, (unsigned long)clock_ts.tv_sec, (unsigned long)clock_ts.tv_nsec, offset); + /*@+type@*/ } /*@-type@*/ /* splint is confused about struct timespec */ gpsd_report(session->context->debug, LOG_PROG, |