diff options
| author | Eric S. Raymond <esr@thyrsus.com> | 2009-03-04 21:38:51 +0000 |
|---|---|---|
| committer | Eric S. Raymond <esr@thyrsus.com> | 2009-03-04 21:38:51 +0000 |
| commit | 8fcf5e5149bb406e65b913edcdcc0c800fdc259b (patch) | |
| tree | 12e294002c48c4c01a56c6a078e32db4064e990a /driver_rtcm3.c | |
| parent | 6dbbd37f7075492bf0a44660bc2d8ffa05b5f71f (diff) | |
| download | gpsd-8fcf5e5149bb406e65b913edcdcc0c800fdc259b.tar.gz | |
splint cleanup.
Diffstat (limited to 'driver_rtcm3.c')
| -rw-r--r-- | driver_rtcm3.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/driver_rtcm3.c b/driver_rtcm3.c index 6a6202fe..b9a715fd 100644 --- a/driver_rtcm3.c +++ b/driver_rtcm3.c @@ -61,7 +61,7 @@ void rtcm3_unpack(/*@out@*/struct rtcm3_t *rtcm, char *buf) unsigned int i; signed long temp; - /*@ -evalorder -sefparams @*/ + /*@ -evalorder -sefparams -mayaliasunique @*/ #define ugrab(width) (bitcount += width, ubits(buf, bitcount-width, width)) #define sgrab(width) (bitcount += width, sbits(buf, bitcount-width, width)) assert(ugrab(8) == 0xD3); @@ -431,7 +431,7 @@ void rtcm3_unpack(/*@out@*/struct rtcm3_t *rtcm, char *buf) } #undef sgrab #undef ugrab - /*@ +evalorder +sefparams @*/ + /*@ +evalorder +sefparams +mayaliasunique @*/ } void rtcm3_dump(struct rtcm3_t *rtcm, FILE *fp) |