diff options
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) |