summaryrefslogtreecommitdiff
path: root/libgps.c
diff options
context:
space:
mode:
Diffstat (limited to 'libgps.c')
-rw-r--r--libgps.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/libgps.c b/libgps.c
index 2cf860e5..a8fc928a 100644
--- a/libgps.c
+++ b/libgps.c
@@ -72,7 +72,7 @@ void gps_set_raw_hook(struct gps_data_t *gpsdata,
gpsdata->raw_hook = hook;
}
-/*@ -branchstate -usereleased @*/
+/*@ -branchstate -usereleased -mustfreefresh @*/
static void gps_unpack(char *buf, struct gps_data_t *gpsdata)
/* unpack a gpsd response into a status structure, buf must be writeable */
{
@@ -441,7 +441,7 @@ static void gps_unpack(char *buf, struct gps_data_t *gpsdata)
gpsdata->thread_hook(gpsdata, buf, strlen(buf), 1);
}
/*@ +nullstate +compdef @*/
-/*@ -branchstate +usereleased @*/
+/*@ -branchstate +usereleased +mustfreefresh @*/
/*
* return: 0, success