diff options
| author | Reinhard Arlt <reinhard.arlt@t-online.de> | 2013-09-17 21:11:46 +0200 |
|---|---|---|
| committer | Reinhard Arlt <reinhard.arlt@t-online.de> | 2013-09-17 21:11:46 +0200 |
| commit | 984132e40969c49f3557da1a27c41fdfd1e56512 (patch) | |
| tree | 2d435cf7d9443817c8c7b0a26eb2185e8fa8bcf6 /pseudoais.c | |
| parent | 16e23dc522291322a218bcb48774195bdffb49c6 (diff) | |
| download | gpsd-984132e40969c49f3557da1a27c41fdfd1e56512.tar.gz | |
Allow more splint checks for ais_binary_encode().
Diffstat (limited to 'pseudoais.c')
| -rw-r--r-- | pseudoais.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pseudoais.c b/pseudoais.c index 321f7549..eac3607b 100644 --- a/pseudoais.c +++ b/pseudoais.c @@ -122,7 +122,7 @@ static void ais_binary_to_ascii(unsigned char *bits, unsigned int len) } -/*@-compdef +matchanyintegral -type +ignoresigns -mustdefine@*/ +/*@-compdef -mustdefine@*/ unsigned int ais_binary_encode(struct ais_t *ais, unsigned char *bits, int flag) @@ -315,5 +315,5 @@ unsigned int ais_binary_encode(struct ais_t *ais, ais_binary_to_ascii(bits, len); return len; } -/*@+compdef -matchanyintegral +type -ignoresigns +mustdefine@*/ +/*@+compdef +mustdefine@*/ #endif /* AIVDM_ENABLE */ |