Context Navigation

source: lib/json.c @ fb774da

Last change on this file since fb774da was b86f37d, checked in by Jelmer Vernooĳ <jelmer@…>, at 2022-08-22T14:48:16Z

Fix error type-punned pointer warning

Dereferencing type-punned pointer will break strict-aliasing rules

Based on upstream[1] commits.

[1] https://github.com/json-parser/json-parser

Based-on: 161dff8321df ("Fix error type-punned pointer warning")
Based-on: d7b67db02aaa ("Fix error type-punned pointer warning")
Bug: https://bugs.gentoo.org/861371
Signed-off-by: Petr Vaněk <arkamar@…>

Property mode set to 100644

File size: 22.0 KB

Line
1	/* vim: set et ts=3 sw=3 sts=3 ft=c:
2	*
3	* Copyright (C) 2012, 2013, 2014 James McLaughlin et al. All rights reserved.
4	* https://github.com/udp/json-parser
5	*
6	* Redistribution and use in source and binary forms, with or without
7	* modification, are permitted provided that the following conditions
8	* are met:
9	*
10	* 1. Redistributions of source code must retain the above copyright
11	* notice, this list of conditions and the following disclaimer.
12	*
13	* 2. Redistributions in binary form must reproduce the above copyright
14	* notice, this list of conditions and the following disclaimer in the
15	* documentation and/or other materials provided with the distribution.
16	*
17	* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
18	* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19	* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20	* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
21	* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22	* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
23	* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
24	* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
25	* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
26	* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
27	* SUCH DAMAGE.
28	*/
29
30	#include <glib.h>
31
32	#include "json.h"
33
34	#ifdef _MSC_VER
35	#ifndef _CRT_SECURE_NO_WARNINGS
36	#define _CRT_SECURE_NO_WARNINGS
37	#endif
38	#endif
39
40	#ifdef __cplusplus
41	const struct _json_value json_value_none; /* zero-d by ctor */
42	#else
43	const struct _json_value json_value_none = { 0 };
44	#endif
45
46	#include <stdio.h>
47	#include <string.h>
48	#include <ctype.h>
49	#include <math.h>
50
51	typedef unsigned int json_uchar;
52
53	static unsigned char hex_value(json_char c)
54	{
55	if (g_ascii_isdigit(c)) {
56	return c - '0';
57	}
58
59	switch (c) {
60	case 'a': case 'A': return 0x0A;
61	case 'b': case 'B': return 0x0B;
62	case 'c': case 'C': return 0x0C;
63	case 'd': case 'D': return 0x0D;
64	case 'e': case 'E': return 0x0E;
65	case 'f': case 'F': return 0x0F;
66	default: return 0xFF;
67	}
68	}
69
70	typedef struct {
71	unsigned long used_memory;
72
73	unsigned int uint_max;
74	unsigned long ulong_max;
75
76	json_settings settings;
77	int first_pass;
78
79	} json_state;
80
81	static void * default_alloc(size_t size, int zero, void * user_data)
82	{
83	return zero ? calloc(1, size) : malloc(size);
84	}
85
86	static void default_free(void * ptr, void * user_data)
87	{
88	free(ptr);
89	}
90
91	static void * json_alloc(json_state * state, unsigned long size, int zero)
92	{
93	if ((state->ulong_max - state->used_memory) < size) {
94	return 0;
95	}
96
97	if (state->settings.max_memory
98	&& (state->used_memory += size) > state->settings.max_memory) {
99	return 0;
100	}
101
102	return state->settings.mem_alloc(size, zero, state->settings.user_data);
103	}
104
105	static int new_value
106	(json_state * state, json_value top, json_value root, json_value ** alloc, json_type type)
107	{
108	json_value * value;
109	int values_size;
110
111	if (!state->first_pass) {
112	value = top = alloc;
113	alloc = (alloc)->_reserved.next_alloc;
114
115	if (!*root) {
116	*root = value;
117	}
118
119	switch (value->type) {
120	case json_array:
121
122	if (!(value->u.array.values = (json_value **) json_alloc
123	(state, value->u.array.length * sizeof(json_value *),
124	0))) {
125	return 0;
126	}
127
128	value->u.array.length = 0;
129	break;
130
131	case json_object:
132
133	values_size = sizeof(value->u.object.values) value->u.object.length;
134
135	if (!(((void *) &value->u.object.values) = json_alloc
136	(state, values_size +
137	((unsigned long) value->u.object.values),
138	0))) {
139	return 0;
140	}
141
142	value->_reserved.object_mem = (void ) (((char ) value->u.object.values) + values_size);
143
144	value->u.object.length = 0;
145	break;
146
147	case json_string:
148
149	if (!(value->u.string.ptr = (json_char *) json_alloc
150	(state, (value->u.string.length + 1) * sizeof(json_char),
151	0))) {
152	return 0;
153	}
154
155	value->u.string.length = 0;
156	break;
157
158	default:
159	break;
160	}
161	;
162
163	return 1;
164	}
165
166	value = (json_value *) json_alloc(state, sizeof(json_value), 1);
167
168	if (!value) {
169	return 0;
170	}
171
172	if (!*root) {
173	*root = value;
174	}
175
176	value->type = type;
177	value->parent = *top;
178
179	if (*alloc) {
180	(*alloc)->_reserved.next_alloc = value;
181	}
182
183	alloc = top = value;
184
185	return 1;
186	}
187
188	#define e_off \
189	((int) (i - cur_line_begin))
190
191	#define whitespace \
192	case '\n': ++cur_line; cur_line_begin = i; \
193	case ' ': case '\t': case '\r'
194
195	#define string_add(b) \
196	do { if (!state.first_pass) { string [string_length] = b; } ++string_length; } while (0);
197
198	static const long
199	flag_next = 1 << 0,
200	flag_reproc = 1 << 1,
201	flag_need_comma = 1 << 2,
202	flag_seek_value = 1 << 3,
203	flag_escaped = 1 << 4,
204	flag_string = 1 << 5,
205	flag_need_colon = 1 << 6,
206	flag_done = 1 << 7,
207	flag_num_negative = 1 << 8,
208	flag_num_zero = 1 << 9,
209	flag_num_e = 1 << 10,
210	flag_num_e_got_sign = 1 << 11,
211	flag_num_e_negative = 1 << 12,
212	flag_line_comment = 1 << 13,
213	flag_block_comment = 1 << 14;
214
215	json_value * json_parse_ex(json_settings * settings,
216	const json_char * json,
217	size_t length,
218	char * error_buf)
219	{
220	json_char error [json_error_max];
221	unsigned int cur_line;
222	const json_char * cur_line_begin, * i, * end;
223	json_value * top, * root, * alloc = 0;
224	json_state state = { 0 };
225	long flags;
226	long num_digits = 0, num_e = 0;
227	json_int_t num_fraction = 0;
228
229	/* Skip UTF-8 BOM
230	*/
231	if (length >= 3 && ((unsigned char) json [0]) == 0xEF
232	&& ((unsigned char) json [1]) == 0xBB
233	&& ((unsigned char) json [2]) == 0xBF) {
234	json += 3;
235	length -= 3;
236	}
237
238	error[0] = '\0';
239	end = (json + length);
240
241	memcpy(&state.settings, settings, sizeof(json_settings));
242
243	if (!state.settings.mem_alloc) {
244	state.settings.mem_alloc = default_alloc;
245	}
246
247	if (!state.settings.mem_free) {
248	state.settings.mem_free = default_free;
249	}
250
251	memset(&state.uint_max, 0xFF, sizeof(state.uint_max));
252	memset(&state.ulong_max, 0xFF, sizeof(state.ulong_max));
253
254	state.uint_max -= 8; /* limit of how much can be added before next check */
255	state.ulong_max -= 8;
256
257	for (state.first_pass = 1; state.first_pass >= 0; --state.first_pass) {
258	json_uchar uchar;
259	unsigned char uc_b1, uc_b2, uc_b3, uc_b4;
260	json_char * string = 0;
261	unsigned int string_length = 0;
262
263	top = root = 0;
264	flags = flag_seek_value;
265
266	cur_line = 1;
267	cur_line_begin = json;
268
269	for (i = json;; ++i) {
270	json_char b = (i == end ? 0 : *i);
271
272	if (flags & flag_string) {
273	if (!b) {
274	sprintf(error, "Unexpected EOF in string (at %d:%d)", cur_line, e_off);
275	goto e_failed;
276	}
277
278	if (string_length > state.uint_max) {
279	goto e_overflow;
280	}
281
282	if (flags & flag_escaped) {
283	flags &= ~flag_escaped;
284
285	switch (b) {
286	case 'b': string_add('\b'); break;
287	case 'f': string_add('\f'); break;
288	case 'n': string_add('\n'); break;
289	case 'r': string_add('\r'); break;
290	case 't': string_add('\t'); break;
291	case 'u':
292
293	if (end - i < 4 \|\|
294	(uc_b1 = hex_value(++i)) == 0xFF \|\| (uc_b2 = hex_value(++i)) ==
295	0xFF
296	\|\| (uc_b3 = hex_value(++i)) == 0xFF \|\| (uc_b4 = hex_value(++i)) ==
297	0xFF) {
298	sprintf(error, "Invalid character value `%c` (at %d:%d)", b,
299	cur_line, e_off);
300	goto e_failed;
301	}
302
303	uc_b1 = (uc_b1 << 4) \| uc_b2;
304	uc_b2 = (uc_b3 << 4) \| uc_b4;
305	uchar = (uc_b1 << 8) \| uc_b2;
306
307	if ((uchar & 0xF800) == 0xD800) {
308	json_uchar uchar2;
309
310	if (end - i < 6 \|\| (++i) != '\\' \|\| (++i) != 'u' \|\|
311	(uc_b1 = hex_value(*++i)) == 0xFF \|\|
312	(uc_b2 = hex_value(*++i)) == 0xFF
313	\|\| (uc_b3 = hex_value(*++i)) == 0xFF \|\|
314	(uc_b4 = hex_value(*++i)) == 0xFF) {
315	sprintf(error,
316	"Invalid character value `%c` (at %d:%d)", b,
317	cur_line, e_off);
318	goto e_failed;
319	}
320
321	uc_b1 = (uc_b1 << 4) \| uc_b2;
322	uc_b2 = (uc_b3 << 4) \| uc_b4;
323	uchar2 = (uc_b1 << 8) \| uc_b2;
324
325	uchar = 0x010000 \| ((uchar & 0x3FF) << 10) \| (uchar2 & 0x3FF);
326	}
327
328	if (sizeof(json_char) >= sizeof(json_uchar) \|\| (uchar <= 0x7F)) {
329	string_add((json_char) uchar);
330	break;
331	}
332
333	if (uchar <= 0x7FF) {
334	if (state.first_pass) {
335	string_length += 2;
336	} else { string [string_length++] = 0xC0 \|
337	(uchar >>
338	6);
339	string [string_length++] = 0x80 \|
340	(uchar &
341	0x3F); }
342
343	break;
344	}
345
346	if (uchar <= 0xFFFF) {
347	if (state.first_pass) {
348	string_length += 3;
349	} else { string [string_length++] = 0xE0 \|
350	(uchar >>
351	12);
352	string [string_length++] = 0x80 \|
353	((uchar
354	>> 6) &
355	0x3F);
356	string [string_length++] = 0x80 \|
357	(uchar &
358	0x3F); }
359
360	break;
361	}
362
363	if (state.first_pass) {
364	string_length += 4;
365	} else { string [string_length++] = 0xF0 \| (uchar >> 18);
366	string [string_length++] = 0x80 \|
367	((uchar >>
368	12) & 0x3F);
369	string [string_length++] = 0x80 \|
370	((uchar >>
371	6) & 0x3F);
372	string [string_length++] = 0x80 \|
373	(uchar & 0x3F); }
374
375	break;
376
377	default:
378	string_add(b);
379	}
380	;
381
382	continue;
383	}
384
385	if (b == '\\') {
386	flags \|= flag_escaped;
387	continue;
388	}
389
390	if (b == '"') {
391	if (!state.first_pass) {
392	string [string_length] = 0;
393	}
394
395	flags &= ~flag_string;
396	string = 0;
397
398	switch (top->type) {
399	case json_string:
400
401	top->u.string.length = string_length;
402	flags \|= flag_next;
403
404	break;
405
406	case json_object:
407
408	if (state.first_pass) {
409	json_char chars = (json_char ) &top->u.object.values;
410	chars[0] += string_length + 1;
411	} else {
412	top->u.object.values [top->u.object.length].name
413	= (json_char *) top->_reserved.object_mem;
414
415	top->u.object.values [top->u.object.length].name_length
416	= string_length;
417
418	((json_char *) &top->_reserved.object_mem) += string_length +
419	1;
420	}
421
422	flags \|= flag_seek_value \| flag_need_colon;
423	continue;
424
425	default:
426	break;
427	}
428	;
429	} else {
430	string_add(b);
431	continue;
432	}
433	}
434
435	if (state.settings.settings & json_enable_comments) {
436	if (flags & (flag_line_comment \| flag_block_comment)) {
437	if (flags & flag_line_comment) {
438	if (b == '\r' \|\| b == '\n' \|\| !b) {
439	flags &= ~flag_line_comment;
440	--i; /* so null can be reproc'd */
441	}
442
443	continue;
444	}
445
446	if (flags & flag_block_comment) {
447	if (!b) {
448	sprintf(error, "%d:%d: Unexpected EOF in block comment",
449	cur_line, e_off);
450	goto e_failed;
451	}
452
453	if (b == '*' && i < (end - 1) && i [1] == '/') {
454	flags &= ~flag_block_comment;
455	++i; /* skip closing sequence */
456	}
457
458	continue;
459	}
460	} else if (b == '/') {
461	if (!(flags & (flag_seek_value \| flag_done)) && top->type != json_object) {
462	sprintf(error, "%d:%d: Comment not allowed here", cur_line, e_off);
463	goto e_failed;
464	}
465
466	if (++i == end) {
467	sprintf(error, "%d:%d: EOF unexpected", cur_line, e_off);
468	goto e_failed;
469	}
470
471	switch (b = *i) {
472	case '/':
473	flags \|= flag_line_comment;
474	continue;
475
476	case '*':
477	flags \|= flag_block_comment;
478	continue;
479
480	default:
481	sprintf(error, "%d:%d: Unexpected `%c` in comment opening sequence",
482	cur_line, e_off, b);
483	goto e_failed;
484	}
485	;
486	}
487	}
488
489	if (flags & flag_done) {
490	if (!b) {
491	break;
492	}
493
494	switch (b) {
495	whitespace:
496	continue;
497
498	default:
499	sprintf(error, "%d:%d: Trailing garbage: `%c`", cur_line, e_off, b);
500	goto e_failed;
501	}
502	;
503	}
504
505	if (flags & flag_seek_value) {
506	switch (b) {
507	whitespace:
508	continue;
509
510	case ']':
511
512	if (top && top->type == json_array) {
513	flags = (flags & ~(flag_need_comma \| flag_seek_value)) \| flag_next;
514	} else { sprintf(error, "%d:%d: Unexpected ]", cur_line, e_off);
515	goto e_failed; }
516
517	break;
518
519	default:
520
521	if (flags & flag_need_comma) {
522	if (b == ',') {
523	flags &= ~flag_need_comma;
524	continue;
525	} else { sprintf(error, "%d:%d: Expected , before %c", cur_line, e_off,
526	b);
527	goto e_failed; }
528	}
529
530	if (flags & flag_need_colon) {
531	if (b == ':') {
532	flags &= ~flag_need_colon;
533	continue;
534	} else { sprintf(error, "%d:%d: Expected : before %c", cur_line, e_off,
535	b);
536	goto e_failed; }
537	}
538
539	flags &= ~flag_seek_value;
540
541	switch (b) {
542	case '{':
543
544	if (!new_value(&state, &top, &root, &alloc, json_object)) {
545	goto e_alloc_failure;
546	}
547
548	continue;
549
550	case '[':
551
552	if (!new_value(&state, &top, &root, &alloc, json_array)) {
553	goto e_alloc_failure;
554	}
555
556	flags \|= flag_seek_value;
557	continue;
558
559	case '"':
560
561	if (!new_value(&state, &top, &root, &alloc, json_string)) {
562	goto e_alloc_failure;
563	}
564
565	flags \|= flag_string;
566
567	string = top->u.string.ptr;
568	string_length = 0;
569
570	continue;
571
572	case 't':
573
574	if ((end - i) < 3 \|\| (++i) != 'r' \|\| (++i) != 'u' \|\| *(++i) != 'e') {
575	goto e_unknown_value;
576	}
577
578	if (!new_value(&state, &top, &root, &alloc, json_boolean)) {
579	goto e_alloc_failure;
580	}
581
582	top->u.boolean = 1;
583
584	flags \|= flag_next;
585	break;
586
587	case 'f':
588
589	if ((end - i) < 4 \|\| (++i) != 'a' \|\| (++i) != 'l' \|\| *(++i) != 's' \|\|
590	*(++i) != 'e') {
591	goto e_unknown_value;
592	}
593
594	if (!new_value(&state, &top, &root, &alloc, json_boolean)) {
595	goto e_alloc_failure;
596	}
597
598	flags \|= flag_next;
599	break;
600
601	case 'n':
602
603	if ((end - i) < 3 \|\| (++i) != 'u' \|\| (++i) != 'l' \|\| *(++i) != 'l') {
604	goto e_unknown_value;
605	}
606
607	if (!new_value(&state, &top, &root, &alloc, json_null)) {
608	goto e_alloc_failure;
609	}
610
611	flags \|= flag_next;
612	break;
613
614	default:
615
616	if (g_ascii_isdigit(b) \|\| b == '-') {
617	if (!new_value(&state, &top, &root, &alloc, json_integer)) {
618	goto e_alloc_failure;
619	}
620
621	if (!state.first_pass) {
622	while (g_ascii_isdigit(b) \|\| b == '+' \|\| b == '-'
623	\|\| b == 'e' \|\| b == 'E' \|\| b == '.') {
624	if ((++i) == end) {
625	b = 0;
626	break;
627	}
628
629	b = *i;
630	}
631
632	flags \|= flag_next \| flag_reproc;
633	break;
634	}
635
636	flags &= ~(flag_num_negative \| flag_num_e \|
637	flag_num_e_got_sign \| flag_num_e_negative \|
638	flag_num_zero);
639
640	num_digits = 0;
641	num_fraction = 0;
642	num_e = 0;
643
644	if (b != '-') {
645	flags \|= flag_reproc;
646	break;
647	}
648
649	flags \|= flag_num_negative;
650	continue;
651	} else { sprintf(error, "%d:%d: Unexpected %c when seeking value",
652	cur_line, e_off, b);
653	goto e_failed; }
654	}
655	;
656	}
657	;
658	} else {
659	switch (top->type) {
660	case json_object:
661
662	switch (b) {
663	whitespace:
664	continue;
665
666	case '"':
667
668	if (flags & flag_need_comma) {
669	sprintf(error, "%d:%d: Expected , before \"", cur_line, e_off);
670	goto e_failed;
671	}
672
673	flags \|= flag_string;
674
675	string = (json_char *) top->_reserved.object_mem;
676	string_length = 0;
677
678	break;
679
680	case '}':
681
682	flags = (flags & ~flag_need_comma) \| flag_next;
683	break;
684
685	case ',':
686
687	if (flags & flag_need_comma) {
688	flags &= ~flag_need_comma;
689	break;
690	}
691
692	default:
693
694	sprintf(error, "%d:%d: Unexpected `%c` in object", cur_line, e_off, b);
695	goto e_failed;
696	}
697	;
698
699	break;
700
701	case json_integer:
702	case json_double:
703
704	if (g_ascii_isdigit(b)) {
705	++num_digits;
706
707	if (top->type == json_integer \|\| flags & flag_num_e) {
708	if (!(flags & flag_num_e)) {
709	if (flags & flag_num_zero) {
710	sprintf(error,
711	"%d:%d: Unexpected `0` before `%c`",
712	cur_line, e_off, b);
713	goto e_failed;
714	}
715
716	if (num_digits == 1 && b == '0') {
717	flags \|= flag_num_zero;
718	}
719	} else {
720	flags \|= flag_num_e_got_sign;
721	num_e = (num_e * 10) + (b - '0');
722	continue;
723	}
724
725	top->u.integer = (top->u.integer * 10) + (b - '0');
726	continue;
727	}
728
729	num_fraction = (num_fraction * 10) + (b - '0');
730	continue;
731	}
732
733	if (b == '+' \|\| b == '-') {
734	if ((flags & flag_num_e) && !(flags & flag_num_e_got_sign)) {
735	flags \|= flag_num_e_got_sign;
736
737	if (b == '-') {
738	flags \|= flag_num_e_negative;
739	}
740
741	continue;
742	}
743	} else if (b == '.' && top->type == json_integer) {
744	if (!num_digits) {
745	sprintf(error, "%d:%d: Expected digit before `.`", cur_line,
746	e_off);
747	goto e_failed;
748	}
749
750	top->type = json_double;
751	top->u.dbl = (double) top->u.integer;
752
753	num_digits = 0;
754	continue;
755	}
756
757	if (!(flags & flag_num_e)) {
758	if (top->type == json_double) {
759	if (!num_digits) {
760	sprintf(error, "%d:%d: Expected digit after `.`",
761	cur_line, e_off);
762	goto e_failed;
763	}
764
765	top->u.dbl += ((double) num_fraction) /
766	(pow(10, (double) num_digits));
767	}
768
769	if (b == 'e' \|\| b == 'E') {
770	flags \|= flag_num_e;
771
772	if (top->type == json_integer) {
773	top->type = json_double;
774	top->u.dbl = (double) top->u.integer;
775	}
776
777	num_digits = 0;
778	flags &= ~flag_num_zero;
779
780	continue;
781	}
782	} else {
783	if (!num_digits) {
784	sprintf(error, "%d:%d: Expected digit after `e`", cur_line,
785	e_off);
786	goto e_failed;
787	}
788
789	top->u.dbl *=
790	pow(10,
791	(double) (flags & flag_num_e_negative ? -num_e : num_e));
792	}
793
794	if (flags & flag_num_negative) {
795	if (top->type == json_integer) {
796	top->u.integer = -top->u.integer;
797	} else {
798	top->u.dbl = -top->u.dbl;
799	}
800	}
801
802	flags \|= flag_next \| flag_reproc;
803	break;
804
805	default:
806	break;
807	}
808	;
809	}
810
811	if (flags & flag_reproc) {
812	flags &= ~flag_reproc;
813	--i;
814	}
815
816	if (flags & flag_next) {
817	flags = (flags & ~flag_next) \| flag_need_comma;
818
819	if (!top->parent) {
820	/* root value done */
821
822	flags \|= flag_done;
823	continue;
824	}
825
826	if (top->parent->type == json_array) {
827	flags \|= flag_seek_value;
828	}
829
830	if (!state.first_pass) {
831	json_value * parent = top->parent;
832
833	switch (parent->type) {
834	case json_object:
835
836	parent->u.object.values
837	[parent->u.object.length].value = top;
838
839	break;
840
841	case json_array:
842
843	parent->u.array.values
844	[parent->u.array.length] = top;
845
846	break;
847
848	default:
849	break;
850	}
851	;
852	}
853
854	if ((++top->parent->u.array.length) > state.uint_max) {
855	goto e_overflow;
856	}
857
858	top = top->parent;
859
860	continue;
861	}
862	}
863
864	alloc = root;
865	}
866
867	return root;
868
869	e_unknown_value:
870
871	sprintf(error, "%d:%d: Unknown value", cur_line, e_off);
872	goto e_failed;
873
874	e_alloc_failure:
875
876	strcpy(error, "Memory allocation failure");
877	goto e_failed;
878
879	e_overflow:
880
881	sprintf(error, "%d:%d: Too long (caught overflow)", cur_line, e_off);
882	goto e_failed;
883
884	e_failed:
885
886	if (error_buf) {
887	if (*error) {
888	strcpy(error_buf, error);
889	} else {
890	strcpy(error_buf, "Unknown error");
891	}
892	}
893
894	if (state.first_pass) {
895	alloc = root;
896	}
897
898	while (alloc) {
899	top = alloc->_reserved.next_alloc;
900	state.settings.mem_free(alloc, state.settings.user_data);
901	alloc = top;
902	}
903
904	if (!state.first_pass) {
905	json_value_free_ex(&state.settings, root);
906	}
907
908	return 0;
909	}
910
911	json_value * json_parse(const json_char * json, size_t length)
912	{
913	json_settings settings = { 0 };
914
915	return json_parse_ex(&settings, json, length, 0);
916	}
917
918	void json_value_free_ex(json_settings * settings, json_value * value)
919	{
920	json_value * cur_value;
921
922	if (!value) {
923	return;
924	}
925
926	value->parent = 0;
927
928	while (value) {
929	switch (value->type) {
930	case json_array:
931
932	if (!value->u.array.length) {
933	settings->mem_free(value->u.array.values, settings->user_data);
934	break;
935	}
936
937	value = value->u.array.values [--value->u.array.length];
938	continue;
939
940	case json_object:
941
942	if (!value->u.object.length) {
943	settings->mem_free(value->u.object.values, settings->user_data);
944	break;
945	}
946
947	value = value->u.object.values [--value->u.object.length].value;
948	continue;
949
950	case json_string:
951
952	settings->mem_free(value->u.string.ptr, settings->user_data);
953	break;
954
955	default:
956	break;
957	}
958	;
959
960	cur_value = value;
961	value = value->parent;
962	settings->mem_free(cur_value, settings->user_data);
963	}
964	}
965
966	void json_value_free(json_value * value)
967	{
968	json_settings settings = { 0 };
969
970	settings.mem_free = default_free;
971	json_value_free_ex(&settings, value);
972	}
973

Note: See TracBrowser for help on using the repository browser.

Context Navigation

source: lib/json.c @ fb774da

Download in other formats: