diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2011-09-30 06:39:54 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2011-09-30 06:39:54 -0400 |
commit | 88cf39a24114fc9eb27fbfdda20303f5e6d9a0d9 (patch) | |
tree | efaf6294c445e7bb36989bf51af2b672df949537 /libgps_core.c | |
parent | 34f69cc5d21caffe643a7faa9c045979a40cc792 (diff) | |
download | gpsd-88cf39a24114fc9eb27fbfdda20303f5e6d9a0d9.tar.gz |
splint cleanup.
Diffstat (limited to 'libgps_core.c')
-rw-r--r-- | libgps_core.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libgps_core.c b/libgps_core.c index 25600ea3..f8edff46 100644 --- a/libgps_core.c +++ b/libgps_core.c @@ -183,9 +183,10 @@ int gps_stream(struct gps_data_t *gpsdata CONDITIONALLY_UNUSED, return status; } -const char /*@observer@*/ *gps_data(const struct gps_data_t *gpsdata CONDITIONALLY_UNUSED) +const char /*@null observer@*/ *gps_data(const struct gps_data_t *gpsdata CONDITIONALLY_UNUSED) /* return the contents of the client data buffer */ { + /*@-dependenttrans -observertrans@*/ const char *bufp = NULL; #ifdef SOCKET_EXPORT_ENABLE @@ -193,6 +194,7 @@ const char /*@observer@*/ *gps_data(const struct gps_data_t *gpsdata CONDITIONAL #endif /* SOCKET_EXPORT_ENABLE */ return bufp; + /*@+dependenttrans +observertrans@*/ } bool gps_waiting(const struct gps_data_t *gpsdata CONDITIONALLY_UNUSED, int timeout CONDITIONALLY_UNUSED) |