From c0efa83c0b6727bf9f96d2503cd61d1c3cd41684 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Wed, 29 May 2013 16:26:53 +0200 Subject: [PATCH] fix a memory leak * src/print-xml.c (num_escape_bufs): New. (print_xml): Be sure to release all the escape_bufs. --- src/print-xml.c | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/src/print-xml.c b/src/print-xml.c index a3ef151..e5c25c5 100644 --- a/src/print-xml.c +++ b/src/print-xml.c @@ -45,7 +45,8 @@ struct escape_buf char *ptr; size_t size; }; -static struct escape_buf escape_bufs[3]; +enum { num_escape_bufs = 3 }; +static struct escape_buf escape_bufs[num_escape_bufs]; /*--------------------------------. @@ -496,7 +497,6 @@ xml_escape (char const *str) void print_xml (void) { - state_number i; int level = 0; FILE *out = xfopen (spec_xml_file, "w"); @@ -522,8 +522,11 @@ print_xml (void) /* print automaton */ fputc ('\n', out); xml_puts (out, level + 1, ""); - for (i = 0; i < nstates; i++) - print_state (out, level + 2, states[i]); + { + state_number i; + for (i = 0; i < nstates; i++) + print_state (out, level + 2, states[i]); + } xml_puts (out, level + 1, ""); bitset_free (no_reduce_set); @@ -531,8 +534,11 @@ print_xml (void) xml_puts (out, 0, ""); - free (escape_bufs[0].ptr); - free (escape_bufs[1].ptr); + { + int i; + for (i = 0; i < num_escape_bufs; ++i) + free (escape_bufs[i].ptr); + } xfclose (out); } -- 2.7.4