From 88cf39a24114fc9eb27fbfdda20303f5e6d9a0d9 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Fri, 30 Sep 2011 06:39:54 -0400 Subject: splint cleanup. --- libgps_core.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'libgps_core.c') 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) -- cgit v1.2.1