RE: Bug (segmentation fault) in the generation of counterexamples

[Bartkowiak, Michal (Nokia - PL/Wroclaw)]

Hello,

Ok, I have minimized original grammar and prepared small grammar (attached) 
which reproduces the problem (segmentation fault is occurring and backtrace 
from debugger is analogical as in the original grammar). 

If you find and fix the problem it would be great if you could send me a patch 
with the solution. I would then apply it to Bison and verify that it also 
solves the problem with the compilation of the original grammar.

Best regards,
Michal Bartkowiak

-----Original Message-----
From: Akim Demaille <akim@lrde.epita.fr> 
Sent: Wednesday, January 6, 2021 6:57 AM
To: Bartkowiak, Michal (Nokia - PL/Wroclaw) <michal.bartkowiak@nokia.com>
Cc: Bison Bugs <bug-bison@gnu.org>
Subject: Re: Bug (segmentation fault) in the generation of counterexamples

Hi Michal,

Thanks for the detailed report.

> Le 5 janv. 2021 à 15:38, Bartkowiak, Michal (Nokia - PL/Wroclaw) 
> <michal.bartkowiak@nokia.com> a écrit :
> 
> I hope that it would be possible to debug the problem with attached core 
> file. If not, please let me know and I will try to provide more information 
> about the grammar (some minimal example) I am using to generate the problem.

I have tried to use your core file on my machine, but it did not work.  I'm 
afraid I need a grammar file to track it.

Cheers!

parser.yc
Description: parser.yc