diff -Naur json-c-0.12.orig/json_tokener.c json-c-0.12/json_tokener.c
--- json-c-0.12.orig/json_tokener.c	2014-04-11 02:41:08.000000000 +0200
+++ json-c-0.12/json_tokener.c	2016-05-29 21:06:19.949897169 +0200
@@ -352,12 +352,10 @@
 
     case json_tokener_state_inf: /* aka starts with 'i' */
       {
-	int size;
 	int size_inf;
 	int is_negative = 0;
 
 	printbuf_memappend_fast(tok->pb, &c, 1);
-	size = json_min(tok->st_pos+1, json_null_str_len);
 	size_inf = json_min(tok->st_pos+1, json_inf_str_len);
 	char *infbuf = tok->pb->buf;
 	if (*infbuf == '-')