Minor splint annotation of new /dev/pps code.

1 files changed, 2 insertions, 0 deletions

diff --git a/gpsd.c b/gpsd.c
index 49dd299f..a647283c 100644
--- a/gpsd.c
+++ b/gpsd.c
@@ -1712,9 +1712,11 @@ static void ship_pps_message(struct gps_device_t *session,
 	     * Device better have reported in its last cycle or
 	     * time will be misleading.
 	     */
+	    /*@-type@*//* splint is confused about struct timespec */
 	    tc = device->pps_thread.fixin;
 	    tc.real.tv_sec += 1;
 	    td = (struct timedelta_t *)&tc;	/* cast discards volatile */
+	    /*@-type@*/
 	} else
 	    return;
     }