diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2015-01-21 14:54:52 -0500 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2015-01-21 14:54:52 -0500 |
| commit | aeb3bdae85bddab96c749dfc07ecf6d7e0b2fdf2 (patch) | |
| tree | 5d5e3942e1d81ec3d3de8b1ca4d6bd3d4b305aba /gpsd.h-tail | |
| parent | cff19bf788a09366df98f24b66c20aca8450bd99 (diff) | |
| download | gpsd-aeb3bdae85bddab96c749dfc07ecf6d7e0b2fdf2.tar.gz | |
More splint cleanup. All regression tests pass.
Diffstat (limited to 'gpsd.h-tail')
| -rw-r--r-- | gpsd.h-tail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gpsd.h-tail b/gpsd.h-tail index a361f403..3865fc29 100644 --- a/gpsd.h-tail +++ b/gpsd.h-tail @@ -490,9 +490,9 @@ struct gps_device_t { #endif /* TIMING_ENABLE */ #ifdef NTPSHM_ENABLE bool ship_to_ntpd; - volatile struct shmTime *shm_clock; + volatile /*@null@*/ struct shmTime *shm_clock; # ifdef PPS_ENABLE - volatile struct shmTime *shm_pps; + volatile /*@null@*/ struct shmTime *shm_pps; # endif /* PPS_ENABLE */ #endif /* NTPSHM_ENABLE */ volatile struct { |