diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2006-08-20 16:57:55 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2006-08-20 16:57:55 +0000 |
commit | 26970286199d9c1d19a214bcf8405e63798f9496 (patch) | |
tree | 40a5b193c6f3b66f186a6b72302e873e9ccd88c2 /cgps.c | |
parent | f2e82b634c39a4a3e2c45590f1dcf2de4be79a7c (diff) | |
download | gpsd-26970286199d9c1d19a214bcf8405e63798f9496.tar.gz |
splint cleanup after CK's strcat()/strlcopy() cleanup.
Diffstat (limited to 'cgps.c')
-rw-r--r-- | cgps.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -427,10 +427,12 @@ int main(int argc, char *argv[]) l = strlen(device)+4; if ((channelcmd = (char *)malloc(l)) != NULL){ + /*@ -compdef @*/ /*@i@*/(void)strlcpy(channelcmd, "F=", l); (void)strlcpy(channelcmd+2, device, l); (void)gps_query(gpsdata, channelcmd); (void)free(channelcmd); + /*@ +compdef @*/ } } |