diff -Nur 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-10 19:41:08.000000000 -0500
+++ json-c-0.12/json_tokener.c	2015-12-27 01:37:06.564722759 -0600
@@ -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 == '-')