summaryrefslogtreecommitdiff
path: root/cgps.c
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2006-08-20 16:57:55 +0000
committerEric S. Raymond <esr@thyrsus.com>2006-08-20 16:57:55 +0000
commit26970286199d9c1d19a214bcf8405e63798f9496 (patch)
tree40a5b193c6f3b66f186a6b72302e873e9ccd88c2 /cgps.c
parentf2e82b634c39a4a3e2c45590f1dcf2de4be79a7c (diff)
downloadgpsd-26970286199d9c1d19a214bcf8405e63798f9496.tar.gz
splint cleanup after CK's strcat()/strlcopy() cleanup.
Diffstat (limited to 'cgps.c')
-rw-r--r--cgps.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/cgps.c b/cgps.c
index 69428d91..464a2ea1 100644
--- a/cgps.c
+++ b/cgps.c
@@ -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 @*/
}
}