1 files changed, 2 insertions, 0 deletions
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 @*/