From 91cd827bc5b4eeb70c6597c3d28c7c841f34cffc Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Wed, 18 Mar 2009 17:37:53 +0000
Subject: splint cleanup.

---
 hex.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'hex.c')

diff --git a/hex.c b/hex.c
index f09f6159..5addeaeb 100644
--- a/hex.c
+++ b/hex.c
@@ -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 @*/
-- 
cgit v1.2.1