diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2013-11-05 19:08:52 -0500 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2013-11-05 19:08:52 -0500 |
commit | 6a0157a94666ae5a653bc297aedc1f6c8f1eaf3a (patch) | |
tree | ac7934ee65a869c9fd286a6cc196b745b2f4b7e9 | |
parent | 209144664fa758bc27f334a32b76fab9813c6f97 (diff) | |
download | gpsd-6a0157a94666ae5a653bc297aedc1f6c8f1eaf3a.tar.gz |
More splint fixups.
-rw-r--r-- | ppsthread.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ppsthread.c b/ppsthread.c index a7bc2a85..00f7437c 100644 --- a/ppsthread.c +++ b/ppsthread.c @@ -57,6 +57,7 @@ #endif #if defined(HAVE_SYS_TIMEPPS_H) +/*@-compdestroy -nullpass -unrecog@*/ static int init_kernel_pps(struct gps_device_t *session) /* return handle for kernel pps, or -1; requires root privileges */ { @@ -123,7 +124,7 @@ static int init_kernel_pps(struct gps_device_t *session) /* done with blob, clear it */ globfree(&globbuf); - if ( 0 == pps_num ) { + if ( 0 == (int)pps_num ) { gpsd_report(session->context->debug, LOG_INF, "KPPS device not found.\n"); return -1; } @@ -150,9 +151,9 @@ static int init_kernel_pps(struct gps_device_t *session) ret, strerror(errno)); return -1; } else { +#ifndef S_SPLINT_S /* have kernel PPS handle */ int caps; -#ifndef S_SPLINT_S /* get features supported */ if ( 0 > time_pps_getcap(session->kernelpps_handle, &caps)) { gpsd_report(session->context->debug, LOG_ERROR, @@ -176,6 +177,7 @@ static int init_kernel_pps(struct gps_device_t *session) } return 0; } +/*@+compdestroy +nullpass +unrecog@*/ #endif /* defined(HAVE_SYS_TIMEPPS_H) */ /*@-mustfreefresh -type -unrecog -branchstate@*/ |