diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2014-08-27 21:28:54 -0400 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2014-08-27 21:28:54 -0400 |
| commit | 3756d7a8103057b66d4ac2826535562494640a57 (patch) | |
| tree | cb730426befccdfabd5732538412c243441f5306 /gpsdecode.c | |
| parent | 44c7e898076f407abed9342acf8005a318af2101 (diff) | |
| download | gpsd-3756d7a8103057b66d4ac2826535562494640a57.tar.gz | |
splint/cppcheck cleanuo after the gpsd_report change.
All regression tests pass.
Diffstat (limited to 'gpsdecode.c')
| -rw-r--r-- | gpsdecode.c | 7 |
1 files changed, 3 insertions, 4 deletions
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) |