Hi Dwight, Thanks for the report. I was very afraid it would be super hard to track and fix (I don't know much about the IELR part of Bison), but it turned out to be actually quite simple (the fix is the last commit, the shortest one). And it's quite amazing that you are the first one to face this problem!
Could you please try the fix to confirm it on your real case? It's in: https://www.lrde.epita.fr/~akim/private/bison/bison-3.6.4.113-f6dd9.tar.gz https://www.lrde.epita.fr/~akim/private/bison/bison-3.6.4.113-f6dd9.tar.lz https://www.lrde.epita.fr/~akim/private/bison/bison-3.6.4.113-f6dd9.tar.xz I would like to use your (reduced) grammar as a test case, but it is not trivial, so I would need you to sign the FSF disclaimers. Would you agree with that? About the grammar itself: it seems to be generated, isn't it? How big is it? Can you tell us more about how it is built? Is it available somewhere? Thanks in advance. Cheers! Akim Demaille (4): style: clean up ielr style: clean up nullable style: factor the access to a rule from its items ielr: fix crash on memory management THANKS | 1 + src/AnnotationList.c | 335 +++++++++++++++++++++---------------------- src/Sbitset.h | 2 + src/counterexample.c | 4 +- src/gram.c | 11 -- src/gram.h | 10 +- src/ielr.c | 52 +++---- src/nullable.c | 95 ++++++------ 8 files changed, 239 insertions(+), 271 deletions(-) -- 2.27.0