diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2009-03-18 17:37:53 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2009-03-18 17:37:53 +0000 |
commit | 91cd827bc5b4eeb70c6597c3d28c7c841f34cffc (patch) | |
tree | fc374b705996a0d9a742338f6c9ebc713606f0a3 /hex.c | |
parent | 1df47c95095d80d8b386d6584d6396bff7e187da (diff) | |
download | gpsd-91cd827bc5b4eeb70c6597c3d28c7c841f34cffc.tar.gz |
splint cleanup.
Diffstat (limited to 'hex.c')
-rw-r--r-- | hex.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -56,6 +56,7 @@ int gpsd_hexpack(char *src, char *dst, size_t len){ /* hex2bin source string to destination - destination can be same as source */ int i, k, l; + /*@ -mustdefine @*/ l = (int)(strlen(src) / 2); if ((l < 1) || ((size_t)l > len)) return -2; @@ -67,6 +68,7 @@ int gpsd_hexpack(char *src, char *dst, size_t len){ else return -1; return l; + /*@ +mustdefine @*/ } /*@ +charint -shiftimplementation @*/ |