diff options
Diffstat (limited to 'pseudoais.c')
| -rw-r--r-- | pseudoais.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pseudoais.c b/pseudoais.c index c6e6db72..029b4d31 100644 --- a/pseudoais.c +++ b/pseudoais.c @@ -122,6 +122,7 @@ static void ais_binary_to_ascii(unsigned char *bits, unsigned int len) } +/*@-compdef +matchanyintegral -type +ignoresigns -mustdefine@*/ unsigned int ais_binary_encode(struct ais_t *ais, unsigned char *bits, int flag) @@ -314,4 +315,5 @@ unsigned int ais_binary_encode(struct ais_t *ais, ais_binary_to_ascii(bits, len); return len; } +/*@+compdef -matchanyintegral +type -ignoresigns +mustdefine@*/ #endif /* AIVDM_ENABLE */ |