Re: [PATCH] cex: fix leaks

Akim Demaille <[email protected]>
Newsgroups gmane.comp.parsers.bison.patches
Message-ID <[email protected]> 
Hi Vincent,

Gnulib's list are certainly very convenient, but their lack of templating also makes things harder to follow: typing is weak, everything is a gl_list_t.

I think we should at least use typedef to clarify what different types of list exist (e.g., parse_state_list_t).  I'm of course well aware that the compiler will not check we use these types consistently, but it should definitely help us understanding what is going on.

I have installed the appended commit.  The memory leaks are clearly coming from the parse simulator, but I don't understand enough of its architecture to fix them.  It seems clear for instance that we are leaking new_root, but adding `free_parse_state (new_root)` where it seems to make sense results in crashes.

I'm attaching testsuite.log for 243 with line numbers.  This was the piece of information I was missing last time.  If you want them too, here's how I got them on a mac (I should add this to README-hacking).

1. I used gcc 10 (coming from MacPorts FWIW, sudo port install gcc10)

2. I configured with
   $ ~bison/configure '-C' 'CC=gcc-mp-10 -fsanitize=address' 'CXX=g++-mp-10.0 -fsanitize=address' 'LDFLAGS=-L/opt/local/lib' '--enable-gcc-warnings' 'CFLAGS= -ggdb' 'CPPFLAGS=-isystem /opt/local/include' 'CXXFLAGS=-ggdb'

3. compile

4. Force the generation of debug symbols:
   $ dsymutil src/bison

5. Run the cex tests with leak detection enabled
   $ make check-local TESTSUITEFLAGS='-j5 -k cex' ASAN_OPTIONS=detect_leaks=1


I couldn't get clang to generate file/line diagnostics.

I believe all the "plain" compilers (no sanitizers) of the CI will properly pass this time, I fixed the last minor portability issue:

https://travis-ci.org/github/akimd/bison/builds/688241839

Vincent, if there's a way I can be of use here, please tell me.  I do not understand how memory management is dealt with here, so I feel useless.  It should be documented somewhere.  Is it?  Maybe I overlooked that.

Cheers!



commit 556a01cb123e1d75a53d588f8a73454b319d9ad2
Author: Akim Demaille <[email protected]>
Date:   Mon May 18 08:00:37 2020 +0200

    cex: style changes in parse-simulation
    
    * src/parse-simulation.c: Formatting changes.
    (parse_state_list_new): New.
    Use it.

diff --git a/src/parse-simulation.c b/src/parse-simulation.c
index 1320efaa..0c399e64 100644
--- a/src/parse-simulation.c
+++ b/src/parse-simulation.c
@@ -37,7 +37,6 @@ typedef struct
   size_t total_size;
 } ps_chunk;
 
-struct parse_state;
 typedef struct parse_state
 {
   // path of state-items the parser has traversed
@@ -86,11 +85,11 @@ static int frees = 0;
 static parse_state *
 empty_parse_state (void)
 {
-  parse_state *res = xcalloc (1, sizeof (parse_state));
-  res->state_items.contents = gl_list_create_empty (GL_LINKED_LIST, NULL,
-                                                    NULL, NULL, true);
-  res->derivs.contents = gl_list_create_empty (GL_LINKED_LIST, NULL,
-                                               NULL, NULL, true);
+  parse_state *res = xcalloc (1, sizeof *res);
+  res->state_items.contents
+    = gl_list_create_empty (GL_LINKED_LIST, NULL, NULL, NULL, true);
+  res->derivs.contents
+    = gl_list_create_empty (GL_LINKED_LIST, NULL, NULL, NULL, true);
   ++allocs;
   return res;
 }
@@ -109,10 +108,10 @@ copy_parse_state (bool prepend, parse_state *parent)
 {
   parse_state *res = xmalloc (sizeof *res);
   memcpy (res, parent, sizeof *res);
-  res->state_items.contents = gl_list_create_empty (GL_LINKED_LIST, NULL,
-                                                    NULL, NULL, true);
-  res->derivs.contents = gl_list_create_empty (GL_LINKED_LIST, NULL,
-                                               NULL, NULL, true);
+  res->state_items.contents
+    = gl_list_create_empty (GL_LINKED_LIST, NULL, NULL, NULL, true);
+  res->derivs.contents
+    = gl_list_create_empty (GL_LINKED_LIST, NULL, NULL, NULL, true);
   res->parent = parent;
   res->prepend = prepend;
   res->reference_count = 0;
@@ -216,8 +215,9 @@ parse_state_comparator (const parse_state *ps1, const parse_state *ps2)
 {
   const ps_chunk *sis1 = &ps1->state_items;
   const ps_chunk *sis2 = &ps2->state_items;
-  return sis1->head_elt == sis2->head_elt &&
-    sis1->tail_elt == sis2->tail_elt && sis1->total_size == sis2->total_size;
+  return sis1->head_elt == sis2->head_elt
+    && sis1->tail_elt == sis2->tail_elt
+    && sis1->total_size == sis2->total_size;
 }
 
 
@@ -273,6 +273,14 @@ list_flatten_and_split (gl_list_t *list, gl_list_t *rets, int split, int n)
     }
 }
 
+static gl_list_t
+parse_state_list_new (void)
+{
+  return gl_list_create_empty (GL_LINKED_LIST, NULL, NULL,
+                               (gl_listelement_dispose_fn)free_parse_state,
+                               true);
+}
+
 // Emulates a reduction on a parse state by popping some amount of
 // derivations and state_items off of the parse_state and returning
 // the result in ret. Returns the derivation of what's popped.
@@ -283,7 +291,7 @@ parser_pop (parse_state *ps, int deriv_index,
   // prepend sis, append sis, prepend derivs, append derivs
   gl_list_t chunks[4];
   for (int i = 0; i < 4; ++i)
-    chunks[i] = gl_list_create_empty (GL_LINKED_LIST, NULL, NULL, NULL, 1);
+    chunks[i] = gl_list_create_empty (GL_LINKED_LIST, NULL, NULL, NULL, true);
   for (parse_state *pn = ps; pn != NULL; pn = pn->parent)
     {
       if (pn->prepend)
@@ -298,7 +306,7 @@ parser_pop (parse_state *ps, int deriv_index,
         }
     }
   gl_list_t popped_derivs =
-    gl_list_create_empty (GL_LINKED_LIST, NULL, NULL, NULL, 1);
+    gl_list_create_empty (GL_LINKED_LIST, NULL, NULL, NULL, true);
   gl_list_t ret_chunks[4] = { ret->state_items.contents, NULL,
     ret->derivs.contents, popped_derivs
   };
@@ -385,10 +393,7 @@ simulate_transition (parse_state *ps)
   symbol_number sym = item_number_as_symbol_number (*si->item);
   // Transition on the same next symbol, taking nullable
   // symbols into account.
-  gl_list_t result =
-    gl_list_create_empty (GL_LINKED_LIST, NULL, NULL,
-                          (gl_listelement_dispose_fn)free_parse_state,
-                          true);
+  gl_list_t result = parse_state_list_new ();
   state_item_number si_next = si_trans[si - state_items];
   // check for disabled transition, shouldn't happen
   // as any state_items that lead to these should be
@@ -427,10 +432,7 @@ compatible (symbol_number sym1, symbol_number sym2)
 gl_list_t
 simulate_production (parse_state *ps, symbol_number compat_sym)
 {
-  gl_list_t result =
-    gl_list_create_empty (GL_LINKED_LIST, NULL, NULL,
-                          (gl_listelement_dispose_fn)free_parse_state,
-                          true);
+  gl_list_t result = parse_state_list_new ();
   const state_item *si = parse_state_tail (ps);
   bitset prod = si_prods_lookup (si - state_items);
   if (prod)
@@ -463,10 +465,7 @@ simulate_production (parse_state *ps, symbol_number compat_sym)
 gl_list_t
 simulate_reduction (parse_state *ps, int rule_len, bitset symbol_set)
 {
-  gl_list_t result =
-    gl_list_create_empty (GL_LINKED_LIST, NULL, NULL,
-                          (gl_listelement_dispose_fn)free_parse_state,
-                          true);
+  gl_list_t result = parse_state_list_new ();
 
   int s_size = ps->state_items.total_size;
   int d_size = ps->derivs.total_size;
@@ -524,10 +523,7 @@ simulate_reduction (parse_state *ps, int rule_len, bitset symbol_set)
 gl_list_t
 parser_prepend (parse_state *ps)
 {
-  gl_list_t result = gl_list_create_empty (GL_LINKED_LIST, NULL, NULL,
-                                           (gl_listelement_dispose_fn)
-                                           free_parse_state,
-                                           true);
+  gl_list_t result = parse_state_list_new ();
   const state_item *head = ps->state_items.head_elt;
   bitset prev = si_revs[head - state_items];
   symbol_number prepend_sym =
testsuite.log (application/octet-stream, 79.8 KB) 
#                             -*- compilation -*-
243. counterexample.at:33: testing Unifying S/R ...
/Users/akim/src/gnu/bison/tests/counterexample.at:57: COLUMNS=1000; export COLUMNS;  bison --color=no -fno-caret -Wcounterexample input.y
stderr:
Shift-Reduce Conflict:
1:    3 a: A .
1:    8 y: A . B
On Symbol: B
Example  A  •  B  C
First  derivation  s ::=[ a ::=[ A  • ]  x ::=[ B  C ] ]
Second derivation  s ::=[ y ::=[ A  •  B ]  c ::=[ C ] ]

input.y: warning: 1 shift/reduce conflict [-Wconflicts-sr]
input.y:4.4: warning: rule useless in parser due to conflicts [-Wother]

=================================================================
==59809==ERROR: LeakSanitizer: detected memory leaks

Direct leak of 528 byte(s) in 6 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105b08a2a in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:88:22
    #3 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 440 byte(s) in 5 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105b08a2a in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:88:22
    #3 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 192 byte(s) in 4 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105bbda0b in xzalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:97:10
    #3 0x105b77509 in bitset_alloc /Users/akim/src/gnu/bison/lib/bitset.c:132:17
    #4 0x105b7798d in bitset_create /Users/akim/src/gnu/bison/lib/bitset.c:163:10
    #5 0x105a7d1c5 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:764:20
    #6 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #7 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #8 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #9 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #10 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #11 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #12 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #13 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #14 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 192 byte(s) in 4 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105bbda0b in xzalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:97:10
    #3 0x105b77509 in bitset_alloc /Users/akim/src/gnu/bison/lib/bitset.c:132:17
    #4 0x105b7798d in bitset_create /Users/akim/src/gnu/bison/lib/bitset.c:163:10
    #5 0x105a7d1c5 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:764:20
    #6 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #7 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #8 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #9 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #10 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #11 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #12 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #13 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #14 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 176 byte(s) in 2 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105b08a2a in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:88:22
    #3 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 176 byte(s) in 2 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105b08b5c in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:109:22
    #3 0x105b0c535 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:506:31
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 144 byte(s) in 3 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105bbda0b in xzalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:97:10
    #3 0x105b77509 in bitset_alloc /Users/akim/src/gnu/bison/lib/bitset.c:132:17
    #4 0x105b7798d in bitset_create /Users/akim/src/gnu/bison/lib/bitset.c:163:10
    #5 0x105a7d1c5 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:764:20
    #6 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #7 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #8 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #9 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #10 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #11 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #12 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #13 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #14 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 88 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105b08b5c in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:109:22
    #3 0x105b0c535 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:506:31
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 88 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105b08b5c in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:109:22
    #3 0x105b0c535 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:506:31
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 72 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08ce7 in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:114:7
    #5 0x105b0c592 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:510:18
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 72 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08ce7 in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:114:7
    #5 0x105b0c592 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:510:18
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 48 byte(s) in 1 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105bbda0b in xzalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:97:10
    #3 0x105b77509 in bitset_alloc /Users/akim/src/gnu/bison/lib/bitset.c:132:17
    #4 0x105b7798d in bitset_create /Users/akim/src/gnu/bison/lib/bitset.c:163:10
    #5 0x105a75656 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:661:25
    #6 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #7 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #8 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #9 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #10 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 48 byte(s) in 1 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105bbda0b in xzalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:97:10
    #3 0x105b77509 in bitset_alloc /Users/akim/src/gnu/bison/lib/bitset.c:132:17
    #4 0x105b7798d in bitset_create /Users/akim/src/gnu/bison/lib/bitset.c:163:10
    #5 0x105ab3d29 in eligible_state_items /Users/akim/src/gnu/bison/src/lssi.c:123:19
    #6 0x105ab44c5 in shortest_path_from_start /Users/akim/src/gnu/bison/src/lssi.c:153:21
    #7 0x105a802d2 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1166:29
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 32 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105ab329e in new_lssi /Users/akim/src/gnu/bison/src/lssi.c:44:15
    #3 0x105ab4588 in shortest_path_from_start /Users/akim/src/gnu/bison/src/lssi.c:161:16
    #4 0x105a802d2 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1166:29
    #5 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #6 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #7 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #8 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #9 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #10 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #11 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 24 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a781a2 in new_counterexample /Users/akim/src/gnu/bison/src/counterexample.c:83:25
    #3 0x105a7fd3e in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1079:29
    #4 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #5 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #6 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #7 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #8 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #9 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #10 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #11 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 16 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0c226 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:483:23
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 16 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0c226 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:483:23
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Direct leak of 16 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0c226 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:483:23
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 864 byte(s) in 12 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b0a4ea in parser_pop /Users/akim/src/gnu/bison/src/parse-simulation.c:309:5
    #5 0x105b0c0f8 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:475:29
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 720 byte(s) in 10 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b0a4ea in parser_pop /Users/akim/src/gnu/bison/src/parse-simulation.c:309:5
    #5 0x105b0c0f8 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:475:29
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 576 byte(s) in 8 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08a52 in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:90:7
    #5 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 576 byte(s) in 24 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9ff34 in gl_linked_nx_add_last /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:637:34
    #2 0x105b0770b in gl_list_nx_add_last /Users/akim/src/gnu/bison/lib/gl_list.h:730:11
    #3 0x105b08516 in gl_list_add_last /Users/akim/src/gnu/bison/lib/gl_xlist.h:148:27
    #4 0x105b09f37 in list_flatten_and_split /Users/akim/src/gnu/bison/src/parse-simulation.c:270:17
    #5 0x105b0a671 in parser_pop /Users/akim/src/gnu/bison/src/parse-simulation.c:314:3
    #6 0x105b0c0f8 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:475:29
    #7 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #8 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #9 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #10 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #11 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #12 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #13 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #14 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #15 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #16 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #17 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 576 byte(s) in 8 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08aaa in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:92:7
    #5 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 456 byte(s) in 19 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9ff34 in gl_linked_nx_add_last /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:637:34
    #2 0x105b0770b in gl_list_nx_add_last /Users/akim/src/gnu/bison/lib/gl_list.h:730:11
    #3 0x105b08516 in gl_list_add_last /Users/akim/src/gnu/bison/lib/gl_xlist.h:148:27
    #4 0x105b09f37 in list_flatten_and_split /Users/akim/src/gnu/bison/src/parse-simulation.c:270:17
    #5 0x105b0a671 in parser_pop /Users/akim/src/gnu/bison/src/parse-simulation.c:314:3
    #6 0x105b0c0f8 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:475:29
    #7 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #8 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #9 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #10 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #11 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #12 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #13 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #14 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #15 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #16 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #17 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 432 byte(s) in 6 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08aaa in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:92:7
    #5 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 432 byte(s) in 6 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08a52 in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:90:7
    #5 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 288 byte(s) in 4 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b0a4ea in parser_pop /Users/akim/src/gnu/bison/src/parse-simulation.c:309:5
    #5 0x105b0c0f8 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:475:29
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 216 byte(s) in 3 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08aaa in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:92:7
    #5 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 216 byte(s) in 3 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08a52 in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:90:7
    #5 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 216 byte(s) in 9 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9ff34 in gl_linked_nx_add_last /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:637:34
    #2 0x105b0770b in gl_list_nx_add_last /Users/akim/src/gnu/bison/lib/gl_list.h:730:11
    #3 0x105b08516 in gl_list_add_last /Users/akim/src/gnu/bison/lib/gl_xlist.h:148:27
    #4 0x105b09f37 in list_flatten_and_split /Users/akim/src/gnu/bison/src/parse-simulation.c:270:17
    #5 0x105b0a671 in parser_pop /Users/akim/src/gnu/bison/src/parse-simulation.c:314:3
    #6 0x105b0c0f8 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:475:29
    #7 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #8 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #9 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #10 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #11 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #12 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #13 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #14 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #15 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #16 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #17 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 192 byte(s) in 8 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9ff34 in gl_linked_nx_add_last /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:637:34
    #2 0x105b0770b in gl_list_nx_add_last /Users/akim/src/gnu/bison/lib/gl_list.h:730:11
    #3 0x105b08516 in gl_list_add_last /Users/akim/src/gnu/bison/lib/gl_xlist.h:148:27
    #4 0x105b0894d in ps_chunk_append /Users/akim/src/gnu/bison/src/parse-simulation.c:75:3
    #5 0x105b0c2a5 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:485:3
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 176 byte(s) in 11 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0c226 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:483:23
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 176 byte(s) in 2 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105b08a2a in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:88:22
    #3 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 144 byte(s) in 9 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0c226 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:483:23
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 144 byte(s) in 6 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9ff34 in gl_linked_nx_add_last /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:637:34
    #2 0x105b0770b in gl_list_nx_add_last /Users/akim/src/gnu/bison/lib/gl_list.h:730:11
    #3 0x105b08516 in gl_list_add_last /Users/akim/src/gnu/bison/lib/gl_xlist.h:148:27
    #4 0x105b0894d in ps_chunk_append /Users/akim/src/gnu/bison/src/parse-simulation.c:75:3
    #5 0x105b0c2a5 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:485:3
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 144 byte(s) in 2 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08ce7 in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:114:7
    #5 0x105b0c535 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:506:31
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 144 byte(s) in 2 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08c8f in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:112:7
    #5 0x105b0c535 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:506:31
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 88 byte(s) in 1 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105b08a2a in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:88:22
    #3 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 88 byte(s) in 1 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105b08a2a in empty_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:88:22
    #3 0x105b0c0c1 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:474:27
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 72 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08ce7 in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:114:7
    #5 0x105b0c535 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:506:31
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 72 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08c8f in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:112:7
    #5 0x105b0c535 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:506:31
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 72 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08ce7 in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:114:7
    #5 0x105b0c535 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:506:31
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 72 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9edcd in gl_linked_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:47:29
    #2 0x105b06c56 in gl_list_nx_create_empty /Users/akim/src/gnu/bison/lib/gl_list.h:580:10
    #3 0x105b08329 in gl_list_create_empty /Users/akim/src/gnu/bison/lib/gl_xlist.h:78:5
    #4 0x105b08c8f in copy_parse_state /Users/akim/src/gnu/bison/src/parse-simulation.c:112:7
    #5 0x105b0c535 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:506:31
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 72 byte(s) in 3 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9ff34 in gl_linked_nx_add_last /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:637:34
    #2 0x105b0770b in gl_list_nx_add_last /Users/akim/src/gnu/bison/lib/gl_list.h:730:11
    #3 0x105b08516 in gl_list_add_last /Users/akim/src/gnu/bison/lib/gl_xlist.h:148:27
    #4 0x105b0894d in ps_chunk_append /Users/akim/src/gnu/bison/src/parse-simulation.c:75:3
    #5 0x105b0c2a5 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:485:3
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 48 byte(s) in 3 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0c226 in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:483:23
    #4 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #5 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 48 byte(s) in 1 object(s) allocated from:
    #0 0x105e09e9e in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36e9e)
    #1 0x105bbda58 in xcalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:112:18
    #2 0x105bbda0b in xzalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:97:10
    #3 0x105b77509 in bitset_alloc /Users/akim/src/gnu/bison/lib/bitset.c:132:17
    #4 0x105b7798d in bitset_create /Users/akim/src/gnu/bison/lib/bitset.c:163:10
    #5 0x105ab454f in shortest_path_from_start /Users/akim/src/gnu/bison/src/lssi.c:159:15
    #6 0x105a802d2 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1166:29
    #7 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #8 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #9 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #10 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #11 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #12 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 48 byte(s) in 3 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0b39e in simulate_transition /Users/akim/src/gnu/bison/src/parse-simulation.c:405:38
    #4 0x105a7e8d2 in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:932:30
    #5 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #6 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #7 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #8 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #9 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #10 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #11 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #12 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 48 byte(s) in 2 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9fd99 in gl_linked_nx_add_first /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:599:34
    #2 0x105b0768a in gl_list_nx_add_first /Users/akim/src/gnu/bison/lib/gl_list.h:723:11
    #3 0x105b084d8 in gl_list_add_first /Users/akim/src/gnu/bison/lib/gl_xlist.h:139:27
    #4 0x105b08837 in ps_chunk_prepend /Users/akim/src/gnu/bison/src/parse-simulation.c:65:3
    #5 0x105b0c57e in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:507:11
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7efbd in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:979:21
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 48 byte(s) in 3 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0b39e in simulate_transition /Users/akim/src/gnu/bison/src/parse-simulation.c:405:38
    #4 0x105a7e8bc in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:931:30
    #5 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #6 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #7 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #8 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #9 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #10 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #11 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #12 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 24 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9fd99 in gl_linked_nx_add_first /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:599:34
    #2 0x105b0768a in gl_list_nx_add_first /Users/akim/src/gnu/bison/lib/gl_list.h:723:11
    #3 0x105b084d8 in gl_list_add_first /Users/akim/src/gnu/bison/lib/gl_xlist.h:139:27
    #4 0x105b08837 in ps_chunk_prepend /Users/akim/src/gnu/bison/src/parse-simulation.c:65:3
    #5 0x105b0c57e in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:507:11
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7ee3f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:969:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 24 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105b9fd99 in gl_linked_nx_add_first /Users/akim/src/gnu/bison/lib/gl_anylinked_list2.h:599:34
    #2 0x105b0768a in gl_list_nx_add_first /Users/akim/src/gnu/bison/lib/gl_list.h:723:11
    #3 0x105b084d8 in gl_list_add_first /Users/akim/src/gnu/bison/lib/gl_xlist.h:139:27
    #4 0x105b08837 in ps_chunk_prepend /Users/akim/src/gnu/bison/src/parse-simulation.c:65:3
    #5 0x105b0c57e in simulate_reduction /Users/akim/src/gnu/bison/src/parse-simulation.c:507:11
    #6 0x105a7d204 in reduction_step /Users/akim/src/gnu/bison/src/counterexample.c:769:23
    #7 0x105a7f29f in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:998:32
    #8 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #9 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #10 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #11 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #12 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #13 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #14 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #15 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 16 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0cc7a in parser_prepend /Users/akim/src/gnu/bison/src/parse-simulation.c:539:40
    #4 0x105a7db77 in search_state_prepend /Users/akim/src/gnu/bison/src/counterexample.c:830:21
    #5 0x105a7f4e2 in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:1014:11
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

Indirect leak of 16 byte(s) in 1 object(s) allocated from:
    #0 0x105e09b33 in __sanitizer_mz_destroy (/opt/local/lib/libgcc/libasan.6.dylib:x86_64+0x36b33)
    #1 0x105bbd943 in xmalloc /Users/akim/src/gnu/bison/lib/xmalloc.c:53:13
    #2 0x105a82824 in derivation_new /Users/akim/src/gnu/bison/src/derivation.c:37:23
    #3 0x105b0cc7a in parser_prepend /Users/akim/src/gnu/bison/src/parse-simulation.c:539:40
    #4 0x105a7db2c in search_state_prepend /Users/akim/src/gnu/bison/src/counterexample.c:829:21
    #5 0x105a7f4e2 in generate_next_states /Users/akim/src/gnu/bison/src/counterexample.c:1014:11
    #6 0x105a7ff3a in unifying_example /Users/akim/src/gnu/bison/src/counterexample.c:1105:11
    #7 0x105a80774 in counterexample_report /Users/akim/src/gnu/bison/src/counterexample.c:1185:7
    #8 0x105a80a1b in counterexample_report_shift_reduce /Users/akim/src/gnu/bison/src/counterexample.c:1202:3
    #9 0x105a75556 in report_state_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:655:15
    #10 0x105a75bb3 in report_counterexamples /Users/akim/src/gnu/bison/src/conflicts.c:689:7
    #11 0x105a75ea0 in rule_conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:722:5
    #12 0x105a75eb4 in conflicts_print /Users/akim/src/gnu/bison/src/conflicts.c:732:3
    #13 0x105ab8b6e in main /Users/akim/src/gnu/bison/src/main.c:150:3
    #14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)

SUMMARY: AddressSanitizer: 9912 byte(s) leaked in 214 allocation(s).
/Users/akim/src/gnu/bison/tests/counterexample.at:57: exit code was 1, expected 0
243. counterexample.at:33: 243. Unifying S/R (counterexample.at:33): FAILED (counterexample.at:57)
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.