From 3756d7a8103057b66d4ac2826535562494640a57 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Wed, 27 Aug 2014 21:28:54 -0400 Subject: splint/cppcheck cleanuo after the gpsd_report change. All regression tests pass. --- gpsdecode.c | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'gpsdecode.c') diff --git a/gpsdecode.c b/gpsdecode.c index 68e4c68b..abf154c2 100644 --- a/gpsdecode.c +++ b/gpsdecode.c @@ -508,7 +508,7 @@ static bool filter(gps_mask_t changed, struct gps_device_t *session) return false; } -/*@ -compdestroy -compdef -usedef -uniondef @*/ +/*@ -mustfreeonly -compdestroy -compdef -usedef -uniondef -immediatetrans -observertrans -statictrans @*/ static void decode(FILE *fpin, FILE*fpout) /* sensor data on fpin to dump format on fpout */ { @@ -523,10 +523,9 @@ static void decode(FILE *fpin, FILE*fpout) policy.json = json; policy.scaled = scaled; - gps_context_init(&context); + gps_context_init(&context, "gpsdecode"); gpsd_time_init(&context, time(NULL)); context.readonly = true; - context.errout.label = "gpsdecode"; gpsd_init(&session, &context, NULL); gpsd_clear(&session); session.gpsdata.gps_fd = fileno(fpin); @@ -623,7 +622,7 @@ static void encode(FILE *fpin, FILE *fpout) (void)fputs(inbuf, fpout); } } -/*@ +compdestroy +compdef +usedef @*/ +/*@ +mustfreeonly +compdestroy +compdef +usedef +immediatetrans +observertrans @ +statictrans*/ #endif /* SOCKET_EXPORT_ENABLE */ int main(int argc, char **argv) -- cgit v1.2.1