Re: [PATCH] cex: fix leaks
Akim Demaille <[email protected]>
| Newsgroups | gmane.comp.parsers.bison.patches |
|---|---|
| Message-ID | <[email protected]> |
Hi Vincent, > Le 17 mai 2020 à 16:45, Akim Demaille <[email protected]> a écrit : > >> Le 17 mai 2020 à 16:31, Akim Demaille <[email protected]> a écrit : >> >> Your patch improves things: we go from >> >> SUMMARY: AddressSanitizer: 262960 byte(s) leaked in 1874 allocation(s). >> >> to >> >> SUMMARY: AddressSanitizer: 187064 byte(s) leaked in 779 allocation(s). >> >> The following commit reduces it further to >> >> SUMMARY: AddressSanitizer: 184968 byte(s) leaked in 648 allocation(s). > > The following one reaches > > SUMMARY: AddressSanitizer: 11352 byte(s) leaked in 263 allocation(s). > > after addressing a very simple mistake. Damnit... The last one was right under my nose, yet it took me a long time to spot it: @@ -261,7 +262,7 @@ init_prods (void) = hash_initialize (nsyms - ntokens, NULL, (Hash_hasher) hash_pair_hasher, (Hash_comparator) hash_pair_comparator, - NULL); + (Hash_data_freer) hash_pair_free); // Add the nitems of state to skip to the production portion // of that state's state_items Then we reach the 0 leak when there are no conflicts. (Except for the libtextstyle issue). BTW, why are you using a hash table here? Aren't these guys just regular integer-indexed arrays? I suppose the API would be much simpler and more natural. And probably faster. In fact, bitsetv might do the trick. Unfortunately we still have plenty of leaks when there are conflicts. See the attachment for an example. Cheers! Some of them seem to be simple, but I believe you are in the best position to track these guys down. commit 14ce40ed766e7bb3eada3e8a08288b288a365886 Author: Akim Demaille <[email protected]> Date: Sun May 17 17:49:52 2020 +0200 cex: fix memory leaks when there are conflicts * src/counterexample.c (production_step, reduction_step): Release memory of temporary objects. diff --git a/src/counterexample.c b/src/counterexample.c index d1a9ef5b..d3acf47a 100644 --- a/src/counterexample.c +++ b/src/counterexample.c @@ -728,6 +728,7 @@ production_step (search_state *ss, int parser_state) copy->complexity = complexity; ssb_append (copy); } + gl_list_free (prods); } static inline int @@ -776,6 +777,7 @@ reduction_step (search_state *ss, const item_number *conflict_item, copy->complexity += r_cost + PRODUCTION_COST + 2 * SHIFT_COST; gl_list_add_last (result, copy); } + gl_list_free (reduced); return result; } Cheers! commit 5ccbaa5380e74309526c6daff0b2a6df4d390749 Author: Akim Demaille <[email protected]> Date: Sun May 17 17:22:29 2020 +0200 cex: be sure to always reclaim memory put in hashes One call to hash_initialize did not provide a function to free memory. * src/state-item.c (hash_pair_table_create): New. Use it. diff --git a/src/state-item.c b/src/state-item.c index 76c0b4f2..d3d48ec2 100644 --- a/src/state-item.c +++ b/src/state-item.c @@ -65,6 +65,16 @@ hash_pair_free (hash_pair *hp) free (hp); } +Hash_table * +hash_pair_table_create (int size) +{ + return hash_xinitialize (size, + NULL, + (Hash_hasher) hash_pair_hasher, + (Hash_comparator) hash_pair_comparator, + (Hash_data_freer) hash_pair_free); +} + static bitset hash_pair_lookup (Hash_table *tab, int key) { @@ -81,6 +91,7 @@ hash_pair_insert (Hash_table *tab, int key, bitset val) hp->key = key; hp->l = val; hash_pair *res = hash_xinsert (tab, hp); + // This must be the first insertion. assert (res == hp); } @@ -206,8 +217,8 @@ init_trans (void) state *s = states[i]; transitions *t = s->transitions; Hash_table *transition_set - = hash_initialize (t->num, NULL, (Hash_hasher) state_sym_hasher, - (Hash_comparator) state_sym_comparator, NULL); + = hash_xinitialize (t->num, NULL, (Hash_hasher) state_sym_hasher, + (Hash_comparator) state_sym_comparator, NULL); for (int j = 0; j < t->num; ++j) if (!TRANSITION_IS_DISABLED (t, j)) hash_xinsert (transition_set, t->states[j]); @@ -247,21 +258,13 @@ si_prods_lookup (state_item_number si) static void init_prods (void) { - si_prods = hash_initialize (nstate_items, - NULL, - (Hash_hasher) hash_pair_hasher, - (Hash_comparator) hash_pair_comparator, - (Hash_data_freer) hash_pair_free); + si_prods = hash_pair_table_create (nstate_items); for (int i = 0; i < nstates; ++i) { state *s = states[i]; // closure_map is a hash map from nonterminals to a set // of the items that produce those nonterminals - Hash_table *closure_map - = hash_initialize (nsyms - ntokens, NULL, - (Hash_hasher) hash_pair_hasher, - (Hash_comparator) hash_pair_comparator, - NULL); + Hash_table *closure_map = hash_pair_table_create (nsyms - ntokens); // Add the nitems of state to skip to the production portion // of that state's state_items @@ -377,8 +380,7 @@ init_firsts (void) symbol_number lhs = r->lhs->number; bitset f_lhs = FIRSTS (lhs); for (item_number *n = r->rhs; - item_number_is_symbol_number (*n) && - ISVAR (*n); + item_number_is_symbol_number (*n) && ISVAR (*n); ++n) { bitset f = FIRSTS (*n);
testsuite.log
(application/octet-stream, 73.8 KB)
# -*- compilation -*-
247. counterexample.at:173: testing Non-unifying Unambiguous S/R ...
/Users/akim/src/gnu/bison/tests/counterexample.at:196: COLUMNS=1000; export COLUMNS; bison --color=no -fno-caret -Wcounterexample input.y
stderr:
Shift-Reduce Conflict:
1: 5 x: A .
1: 6 y: A . A B
On Symbol: A
First Example A • A $end
First derivation $accept ::=[ s ::=[ s ::=[ t ::=[ x ::=[ A • ] ] ] t ::=[ x ::=[ A ] ] ] $end ]
Second Example A • A B $end
Second derivation $accept ::=[ s ::=[ t ::=[ y ::=[ A • A B ] ] ] $end ]
input.y: warning: 1 shift/reduce conflict [-Wconflicts-sr]
=================================================================
==32799==ERROR: LeakSanitizer: detected memory leaks
Direct leak of 432 byte(s) in 6 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a5e7260 in gl_list_nx_create_empty (bison:x86_64+0x1000d9260)
#3 0x10a5e3d8d in gl_list_create_empty (bison:x86_64+0x1000d5d8d)
#4 0x10a5e3f45 in simulate_production (bison:x86_64+0x1000d5f45)
#5 0x10a539756 in production_step (bison:x86_64+0x10002b756)
#6 0x10a535bd3 in generate_next_states (bison:x86_64+0x100027bd3)
#7 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 264 byte(s) in 3 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a5e0bb6 in empty_parse_state (bison:x86_64+0x1000d2bb6)
#3 0x10a5e512e in simulate_reduction (bison:x86_64+0x1000d712e)
#4 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#5 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#6 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 216 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a5e7260 in gl_list_nx_create_empty (bison:x86_64+0x1000d9260)
#3 0x10a5e3d8d in gl_list_create_empty (bison:x86_64+0x1000d5d8d)
#4 0x10a5e3f45 in simulate_production (bison:x86_64+0x1000d5f45)
#5 0x10a539756 in production_step (bison:x86_64+0x10002b756)
#6 0x10a535bc2 in generate_next_states (bison:x86_64+0x100027bc2)
#7 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 144 byte(s) in 3 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a6d82d9 in xzalloc (bison:x86_64+0x1001ca2d9)
#3 0x10a67cd27 in bitset_alloc (bison:x86_64+0x10016ed27)
#4 0x10a67d429 in bitset_create (bison:x86_64+0x10016f429)
#5 0x10a53a026 in reduction_step (bison:x86_64+0x10002c026)
#6 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#7 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a5e0bb6 in empty_parse_state (bison:x86_64+0x1000d2bb6)
#3 0x10a5e0b60 in new_parse_state (bison:x86_64+0x1000d2b60)
#4 0x10a534826 in initial_search_state (bison:x86_64+0x100026826)
#5 0x10a533cff in unifying_example (bison:x86_64+0x100025cff)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 88 byte(s) in 1 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a5e0bb6 in empty_parse_state (bison:x86_64+0x1000d2bb6)
#3 0x10a5e0b60 in new_parse_state (bison:x86_64+0x1000d2b60)
#4 0x10a53486e in initial_search_state (bison:x86_64+0x10002686e)
#5 0x10a533cff in unifying_example (bison:x86_64+0x100025cff)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 72 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a537ab0 in gl_list_nx_create_empty (bison:x86_64+0x100029ab0)
#3 0x10a53071d in gl_list_create_empty (bison:x86_64+0x10002271d)
#4 0x10a531079 in complete_diverging_example (bison:x86_64+0x100023079)
#5 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a537ab0 in gl_list_nx_create_empty (bison:x86_64+0x100029ab0)
#3 0x10a53071d in gl_list_create_empty (bison:x86_64+0x10002271d)
#4 0x10a531079 in complete_diverging_example (bison:x86_64+0x100023079)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 48 byte(s) in 2 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a52ef8d in si_bfs_new (bison:x86_64+0x100020f8d)
#3 0x10a538651 in expand_to_conflict (bison:x86_64+0x10002a651)
#4 0x10a531582 in complete_diverging_example (bison:x86_64+0x100023582)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 48 byte(s) in 2 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a52ef8d in si_bfs_new (bison:x86_64+0x100020f8d)
#3 0x10a5300a8 in nonunifying_shift_path (bison:x86_64+0x1000220a8)
#4 0x10a530e46 in example_from_path (bison:x86_64+0x100022e46)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 48 byte(s) in 1 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a6d82d9 in xzalloc (bison:x86_64+0x1001ca2d9)
#3 0x10a67cd27 in bitset_alloc (bison:x86_64+0x10016ed27)
#4 0x10a67d429 in bitset_create (bison:x86_64+0x10016f429)
#5 0x10a576b7a in eligible_state_items (bison:x86_64+0x100068b7a)
#6 0x10a577c92 in shortest_path_from_start (bison:x86_64+0x100069c92)
#7 0x10a536b53 in counterexample_report (bison:x86_64+0x100028b53)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a576762 in new_lssi (bison:x86_64+0x100068762)
#3 0x10a577d7f in shortest_path_from_start (bison:x86_64+0x100069d7f)
#4 0x10a536b53 in counterexample_report (bison:x86_64+0x100028b53)
#5 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#6 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#7 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#8 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#9 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#10 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#11 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 32 byte(s) in 2 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a5e3ca6 in simulate_transition (bison:x86_64+0x1000d5ca6)
#4 0x10a5359f3 in generate_next_states (bison:x86_64+0x1000279f3)
#5 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 32 byte(s) in 2 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a5e3ca6 in simulate_transition (bison:x86_64+0x1000d5ca6)
#4 0x10a535a06 in generate_next_states (bison:x86_64+0x100027a06)
#5 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 32 byte(s) in 2 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a5e6395 in parser_prepend (bison:x86_64+0x1000d8395)
#4 0x10a532c3c in search_state_prepend (bison:x86_64+0x100024c3c)
#5 0x10a536479 in generate_next_states (bison:x86_64+0x100028479)
#6 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a52eb75 in new_counterexample (bison:x86_64+0x100020b75)
#3 0x10a530e97 in example_from_path (bison:x86_64+0x100022e97)
#4 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#5 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#6 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#7 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#8 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#9 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#10 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#11 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#12 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a52ef8d in si_bfs_new (bison:x86_64+0x100020f8d)
#3 0x10a52f78d in nonunifying_shift_path (bison:x86_64+0x10002178d)
#4 0x10a530e46 in example_from_path (bison:x86_64+0x100022e46)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Direct leak of 16 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a5e6395 in parser_prepend (bison:x86_64+0x1000d8395)
#4 0x10a532bf0 in search_state_prepend (bison:x86_64+0x100024bf0)
#5 0x10a536479 in generate_next_states (bison:x86_64+0x100028479)
#6 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 352 byte(s) in 4 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a5e3730 in copy_parse_state (bison:x86_64+0x1000d5730)
#3 0x10a5e44f8 in simulate_production (bison:x86_64+0x1000d64f8)
#4 0x10a539756 in production_step (bison:x86_64+0x10002b756)
#5 0x10a535bc2 in generate_next_states (bison:x86_64+0x100027bc2)
#6 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 288 byte(s) in 4 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af628 in gl_linked_nx_create (bison:x86_64+0x1001a1628)
#2 0x10a537bfe in gl_list_nx_create (bison:x86_64+0x100029bfe)
#3 0x10a530888 in gl_list_create (bison:x86_64+0x100022888)
#4 0x10a531d56 in complete_diverging_example (bison:x86_64+0x100023d56)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 264 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a5e3730 in copy_parse_state (bison:x86_64+0x1000d5730)
#3 0x10a5e5656 in simulate_reduction (bison:x86_64+0x1000d7656)
#4 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#5 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#6 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 216 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af628 in gl_linked_nx_create (bison:x86_64+0x1001a1628)
#2 0x10a537bfe in gl_list_nx_create (bison:x86_64+0x100029bfe)
#3 0x10a530888 in gl_list_create (bison:x86_64+0x100022888)
#4 0x10a531d56 in complete_diverging_example (bison:x86_64+0x100023d56)
#5 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 216 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a5e7260 in gl_list_nx_create_empty (bison:x86_64+0x1000d9260)
#3 0x10a5e3d8d in gl_list_create_empty (bison:x86_64+0x1000d5d8d)
#4 0x10a5e3f45 in simulate_production (bison:x86_64+0x1000d5f45)
#5 0x10a539756 in production_step (bison:x86_64+0x10002b756)
#6 0x10a535bc2 in generate_next_states (bison:x86_64+0x100027bc2)
#7 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 216 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a5e7260 in gl_list_nx_create_empty (bison:x86_64+0x1000d9260)
#3 0x10a5e3d8d in gl_list_create_empty (bison:x86_64+0x1000d5d8d)
#4 0x10a5e2928 in parser_pop (bison:x86_64+0x1000d4928)
#5 0x10a5e5168 in simulate_reduction (bison:x86_64+0x1000d7168)
#6 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#7 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#8 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#9 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#10 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#11 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#12 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#13 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#14 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#15 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a5e7260 in gl_list_nx_create_empty (bison:x86_64+0x1000d9260)
#3 0x10a5e3d8d in gl_list_create_empty (bison:x86_64+0x1000d5d8d)
#4 0x10a5e0c36 in empty_parse_state (bison:x86_64+0x1000d2c36)
#5 0x10a5e512e in simulate_reduction (bison:x86_64+0x1000d712e)
#6 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#7 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#8 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#9 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#10 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#11 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#12 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#13 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#14 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#15 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a5e7260 in gl_list_nx_create_empty (bison:x86_64+0x1000d9260)
#3 0x10a5e3d8d in gl_list_create_empty (bison:x86_64+0x1000d5d8d)
#4 0x10a5e4ff1 in simulate_reduction (bison:x86_64+0x1000d6ff1)
#5 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#6 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#7 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 216 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a5e7260 in gl_list_nx_create_empty (bison:x86_64+0x1000d9260)
#3 0x10a5e3d8d in gl_list_create_empty (bison:x86_64+0x1000d5d8d)
#4 0x10a5e0bdb in empty_parse_state (bison:x86_64+0x1000d2bdb)
#5 0x10a5e512e in simulate_reduction (bison:x86_64+0x1000d712e)
#6 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#7 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#8 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#9 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#10 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#11 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#12 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#13 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#14 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#15 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af628 in gl_linked_nx_create (bison:x86_64+0x1001a1628)
#2 0x10a537bfe in gl_list_nx_create (bison:x86_64+0x100029bfe)
#3 0x10a530888 in gl_list_create (bison:x86_64+0x100022888)
#4 0x10a53904e in expand_to_conflict (bison:x86_64+0x10002b04e)
#5 0x10a531582 in complete_diverging_example (bison:x86_64+0x100023582)
#6 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#7 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 96 byte(s) in 4 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af894 in gl_linked_nx_create (bison:x86_64+0x1001a1894)
#2 0x10a537bfe in gl_list_nx_create (bison:x86_64+0x100029bfe)
#3 0x10a530888 in gl_list_create (bison:x86_64+0x100022888)
#4 0x10a531d56 in complete_diverging_example (bison:x86_64+0x100023d56)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 96 byte(s) in 4 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a5e71ca in gl_list_nx_add_last (bison:x86_64+0x1000d91ca)
#3 0x10a5e39cc in gl_list_add_last (bison:x86_64+0x1000d59cc)
#4 0x10a5e4537 in simulate_production (bison:x86_64+0x1000d6537)
#5 0x10a539756 in production_step (bison:x86_64+0x10002b756)
#6 0x10a535bc2 in generate_next_states (bison:x86_64+0x100027bc2)
#7 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 96 byte(s) in 4 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a5e71ca in gl_list_nx_add_last (bison:x86_64+0x1000d91ca)
#3 0x10a5e39cc in gl_list_add_last (bison:x86_64+0x1000d59cc)
#4 0x10a5e6e85 in list_flatten_and_split (bison:x86_64+0x1000d8e85)
#5 0x10a5e2b52 in parser_pop (bison:x86_64+0x1000d4b52)
#6 0x10a5e5168 in simulate_reduction (bison:x86_64+0x1000d7168)
#7 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#8 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#9 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#10 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#11 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#12 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#13 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#14 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#15 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#16 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#17 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 80 byte(s) in 5 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a531ce3 in complete_diverging_example (bison:x86_64+0x100023ce3)
#4 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 72 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a537ab0 in gl_list_nx_create_empty (bison:x86_64+0x100029ab0)
#3 0x10a53071d in gl_list_create_empty (bison:x86_64+0x10002271d)
#4 0x10a531041 in complete_diverging_example (bison:x86_64+0x100023041)
#5 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af628 in gl_linked_nx_create (bison:x86_64+0x1001a1628)
#2 0x10a537bfe in gl_list_nx_create (bison:x86_64+0x100029bfe)
#3 0x10a530888 in gl_list_create (bison:x86_64+0x100022888)
#4 0x10a538ac3 in expand_to_conflict (bison:x86_64+0x10002aac3)
#5 0x10a531582 in complete_diverging_example (bison:x86_64+0x100023582)
#6 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#7 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 72 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af2fc in gl_linked_nx_create_empty (bison:x86_64+0x1001a12fc)
#2 0x10a537ab0 in gl_list_nx_create_empty (bison:x86_64+0x100029ab0)
#3 0x10a53071d in gl_list_create_empty (bison:x86_64+0x10002271d)
#4 0x10a531041 in complete_diverging_example (bison:x86_64+0x100023041)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 72 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af894 in gl_linked_nx_create (bison:x86_64+0x1001a1894)
#2 0x10a537bfe in gl_list_nx_create (bison:x86_64+0x100029bfe)
#3 0x10a530888 in gl_list_create (bison:x86_64+0x100022888)
#4 0x10a531d56 in complete_diverging_example (bison:x86_64+0x100023d56)
#5 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 72 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a5e71ca in gl_list_nx_add_last (bison:x86_64+0x1000d91ca)
#3 0x10a5e39cc in gl_list_add_last (bison:x86_64+0x1000d59cc)
#4 0x10a5e57ed in simulate_reduction (bison:x86_64+0x1000d77ed)
#5 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#6 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#7 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 72 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a5e71ca in gl_list_nx_add_last (bison:x86_64+0x1000d91ca)
#3 0x10a5e39cc in gl_list_add_last (bison:x86_64+0x1000d59cc)
#4 0x10a5e0cef in ps_chunk_append (bison:x86_64+0x1000d2cef)
#5 0x10a5e5381 in simulate_reduction (bison:x86_64+0x1000d7381)
#6 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#7 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#8 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#9 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#10 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#11 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#12 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#13 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#14 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#15 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#16 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 64 byte(s) in 4 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a531ce3 in complete_diverging_example (bison:x86_64+0x100023ce3)
#4 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af894 in gl_linked_nx_create (bison:x86_64+0x1001a1894)
#2 0x10a537bfe in gl_list_nx_create (bison:x86_64+0x100029bfe)
#3 0x10a530888 in gl_list_create (bison:x86_64+0x100022888)
#4 0x10a53904e in expand_to_conflict (bison:x86_64+0x10002b04e)
#5 0x10a531582 in complete_diverging_example (bison:x86_64+0x100023582)
#6 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#7 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 48 byte(s) in 2 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a52ef8d in si_bfs_new (bison:x86_64+0x100020f8d)
#3 0x10a538651 in expand_to_conflict (bison:x86_64+0x10002a651)
#4 0x10a531582 in complete_diverging_example (bison:x86_64+0x100023582)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a6d82d9 in xzalloc (bison:x86_64+0x1001ca2d9)
#3 0x10a67cd27 in bitset_alloc (bison:x86_64+0x10016ed27)
#4 0x10a67d429 in bitset_create (bison:x86_64+0x10016f429)
#5 0x10a577d46 in shortest_path_from_start (bison:x86_64+0x100069d46)
#6 0x10a536b53 in counterexample_report (bison:x86_64+0x100028b53)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a537a1a in gl_list_nx_add_last (bison:x86_64+0x100029a1a)
#3 0x10a52e9ec in gl_list_add_last (bison:x86_64+0x1000209ec)
#4 0x10a531438 in complete_diverging_example (bison:x86_64+0x100023438)
#5 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 48 byte(s) in 3 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a5e52e4 in simulate_reduction (bison:x86_64+0x1000d72e4)
#4 0x10a53a07b in reduction_step (bison:x86_64+0x10002c07b)
#5 0x10a535e4e in generate_next_states (bison:x86_64+0x100027e4e)
#6 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 48 byte(s) in 2 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a52ef8d in si_bfs_new (bison:x86_64+0x100020f8d)
#3 0x10a5300a8 in nonunifying_shift_path (bison:x86_64+0x1000220a8)
#4 0x10a530e46 in example_from_path (bison:x86_64+0x100022e46)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 32 byte(s) in 2 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a531429 in complete_diverging_example (bison:x86_64+0x100023429)
#4 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 32 byte(s) in 2 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a538fca in expand_to_conflict (bison:x86_64+0x10002afca)
#4 0x10a531582 in complete_diverging_example (bison:x86_64+0x100023582)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a537a1a in gl_list_nx_add_last (bison:x86_64+0x100029a1a)
#3 0x10a52e9ec in gl_list_add_last (bison:x86_64+0x1000209ec)
#4 0x10a531438 in complete_diverging_example (bison:x86_64+0x100023438)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a537a1a in gl_list_nx_add_last (bison:x86_64+0x100029a1a)
#3 0x10a52e9ec in gl_list_add_last (bison:x86_64+0x1000209ec)
#4 0x10a531679 in complete_diverging_example (bison:x86_64+0x100023679)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6af894 in gl_linked_nx_create (bison:x86_64+0x1001a1894)
#2 0x10a537bfe in gl_list_nx_create (bison:x86_64+0x100029bfe)
#3 0x10a530888 in gl_list_create (bison:x86_64+0x100022888)
#4 0x10a538ac3 in expand_to_conflict (bison:x86_64+0x10002aac3)
#5 0x10a531582 in complete_diverging_example (bison:x86_64+0x100023582)
#6 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#7 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#8 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#9 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#10 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#11 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#12 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#13 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#14 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#15 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a52ef8d in si_bfs_new (bison:x86_64+0x100020f8d)
#3 0x10a537ea3 in expand_to_conflict (bison:x86_64+0x100029ea3)
#4 0x10a531582 in complete_diverging_example (bison:x86_64+0x100023582)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b09dc in gl_linked_nx_add_first (bison:x86_64+0x1001a29dc)
#2 0x10a537b4a in gl_list_nx_add_first (bison:x86_64+0x100029b4a)
#3 0x10a53080c in gl_list_add_first (bison:x86_64+0x10002280c)
#4 0x10a531bd4 in complete_diverging_example (bison:x86_64+0x100023bd4)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a537a1a in gl_list_nx_add_last (bison:x86_64+0x100029a1a)
#3 0x10a52e9ec in gl_list_add_last (bison:x86_64+0x1000209ec)
#4 0x10a5310a2 in complete_diverging_example (bison:x86_64+0x1000230a2)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b09dc in gl_linked_nx_add_first (bison:x86_64+0x1001a29dc)
#2 0x10a537b4a in gl_list_nx_add_first (bison:x86_64+0x100029b4a)
#3 0x10a53080c in gl_list_add_first (bison:x86_64+0x10002280c)
#4 0x10a531bd4 in complete_diverging_example (bison:x86_64+0x100023bd4)
#5 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a537a1a in gl_list_nx_add_last (bison:x86_64+0x100029a1a)
#3 0x10a52e9ec in gl_list_add_last (bison:x86_64+0x1000209ec)
#4 0x10a531254 in complete_diverging_example (bison:x86_64+0x100023254)
#5 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6b0c7c in gl_linked_nx_add_last (bison:x86_64+0x1001a2c7c)
#2 0x10a537a1a in gl_list_nx_add_last (bison:x86_64+0x100029a1a)
#3 0x10a52e9ec in gl_list_add_last (bison:x86_64+0x1000209ec)
#4 0x10a5310a2 in complete_diverging_example (bison:x86_64+0x1000230a2)
#5 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 24 byte(s) in 1 object(s) allocated from:
#0 0x10a962302 in wrap_calloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x45302)
#1 0x10a6d8318 in xcalloc (bison:x86_64+0x1001ca318)
#2 0x10a52ef8d in si_bfs_new (bison:x86_64+0x100020f8d)
#3 0x10a52f78d in nonunifying_shift_path (bison:x86_64+0x10002178d)
#4 0x10a530e46 in example_from_path (bison:x86_64+0x100022e46)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 16 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a531bc8 in complete_diverging_example (bison:x86_64+0x100023bc8)
#4 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 16 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a531245 in complete_diverging_example (bison:x86_64+0x100023245)
#4 0x10a530e76 in example_from_path (bison:x86_64+0x100022e76)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 16 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a531bc8 in complete_diverging_example (bison:x86_64+0x100023bc8)
#4 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 16 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a531429 in complete_diverging_example (bison:x86_64+0x100023429)
#4 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#5 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#6 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#7 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#8 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#9 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#10 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#11 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#12 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#13 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
Indirect leak of 16 byte(s) in 1 object(s) allocated from:
#0 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a538a2d in expand_to_conflict (bison:x86_64+0x10002aa2d)
#4 0x10a531582 in complete_diverging_example (bison:x86_64+0x100023582)
#5 0x10a530ddd in example_from_path (bison:x86_64+0x100022ddd)
#6 0x10a534710 in unifying_example (bison:x86_64+0x100026710)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#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 0x10a961f2d in wrap_malloc (/opt/local/libexec/llvm-9.0/lib/clang/9.0.1/lib/darwin/libclang_rt.asan_osx_dynamic.dylib:x86_64h+0x44f2d)
#1 0x10a6d8084 in xmalloc (bison:x86_64+0x1001ca084)
#2 0x10a53a788 in derivation_new (bison:x86_64+0x10002c788)
#3 0x10a5e6395 in parser_prepend (bison:x86_64+0x1000d8395)
#4 0x10a532bf0 in search_state_prepend (bison:x86_64+0x100024bf0)
#5 0x10a536479 in generate_next_states (bison:x86_64+0x100028479)
#6 0x10a534602 in unifying_example (bison:x86_64+0x100026602)
#7 0x10a53701c in counterexample_report (bison:x86_64+0x10002901c)
#8 0x10a5369bd in counterexample_report_shift_reduce (bison:x86_64+0x1000289bd)
#9 0x10a52defa in report_state_counterexamples (bison:x86_64+0x10001fefa)
#10 0x10a52ce00 in report_counterexamples (bison:x86_64+0x10001ee00)
#11 0x10a5292b5 in rule_conflicts_print (bison:x86_64+0x10001b2b5)
#12 0x10a528d4c in conflicts_print (bison:x86_64+0x10001ad4c)
#13 0x10a57c7d0 in main (bison:x86_64+0x10006e7d0)
#14 0x7fff6df8d3d4 in start (/usr/lib/system/libdyld.dylib:x86_64+0x163d4)
SUMMARY: AddressSanitizer: 5608 byte(s) leaked in 130 allocation(s).
/Users/akim/src/gnu/bison/tests/counterexample.at:196: exit code was 1, expected 0
247. counterexample.at:173: 247. Non-unifying Unambiguous S/R (counterexample.at:173): FAILED (counterexample.at:196)