1 files changed, 1 insertions, 1 deletions
diff --git a/json.c b/json.c
index 923ddd05..9ed51346 100644
--- a/json.c
+++ b/json.c
@@ -62,7 +62,7 @@ has to be inline in the struct.
 # define json_debug_trace(args) /*@i1@*/do { } while (0)
 #endif /* JSONDEBUG */
 
-static char *json_target_address(const struct json_attr_t *cursor, 
+static /*@null@*/char *json_target_address(const struct json_attr_t *cursor, 
 				 /*@null@*/const struct json_array_t *parent, 
 			       int offset)
 {