diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2011-02-16 15:44:17 -0500 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2011-02-16 15:44:17 -0500 |
| commit | 9856fc48b5a3cc949eda67f10abd4d1ad302ec00 (patch) | |
| tree | 0e0d7980d1d1facd9e518244dbc5dd9561b042e6 /gpsdecode.c | |
| parent | 2ca93b4a293a354ef99b0ce8d63c19fdbcbb2749 (diff) | |
| download | gpsd-9856fc48b5a3cc949eda67f10abd4d1ad302ec00.tar.gz | |
splint cleanup. All regression tests pass.
Diffstat (limited to 'gpsdecode.c')
| -rw-r--r-- | gpsdecode.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gpsdecode.c b/gpsdecode.c index 792a4e16..3058e9dd 100644 --- a/gpsdecode.c +++ b/gpsdecode.c @@ -358,7 +358,7 @@ static void aivdm_csv_dump(struct ais_t *ais, char *buf, size_t buflen) } #endif -/*@ -compdestroy -compdef -usedef @*/ +/*@ -compdestroy -compdef -usedef -uniondef @*/ static void decode(FILE * fpin, FILE * fpout) /* sensor data on fpin to dump format on fpout */ { @@ -412,7 +412,7 @@ static void decode(FILE * fpin, FILE * fpout) } } } -/*@ +compdestroy +compdef +usedef @*/ +/*@ +compdestroy +compdef +usedef +uniondef @*/ /*@ -compdestroy @*/ static void encode(FILE * fpin, FILE * fpout) |