diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2009-03-18 17:37:53 +0000 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2009-03-18 17:37:53 +0000 |
| commit | 91cd827bc5b4eeb70c6597c3d28c7c841f34cffc (patch) | |
| tree | fc374b705996a0d9a742338f6c9ebc713606f0a3 /gpsdecode.c | |
| parent | 1df47c95095d80d8b386d6584d6396bff7e187da (diff) | |
| download | gpsd-91cd827bc5b4eeb70c6597c3d28c7c841f34cffc.tar.gz | |
splint cleanup.
Diffstat (limited to 'gpsdecode.c')
| -rw-r--r-- | gpsdecode.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gpsdecode.c b/gpsdecode.c index 2c46f2c5..4b35c743 100644 --- a/gpsdecode.c +++ b/gpsdecode.c @@ -66,8 +66,10 @@ static void decode(FILE *fpin, FILE *fpout) rtcm3_dump(&rtcm3, stdout); } else if (lexer.type == AIVDM_PACKET) { + /*@ -uniondef */ if (aivdm_decode((char *)lexer.outbuffer, lexer.outbuflen, &aivdm)) aivdm_dump(&aivdm.decoded, scaled, labeled, stdout); + /*@ +uniondef */ } } } |