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

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

Of course, thanks!

Best regards,
Michal Bartkowiak

-----Original Message-----
From: Akim Demaille <akim@lrde.epita.fr> 
Sent: Friday, January 8, 2021 6:19 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,

> Le 7 janv. 2021 à 10:47, Bartkowiak, Michal (Nokia - PL/Wroclaw) 
> <michal.bartkowiak@nokia.com> a écrit :
> 
> 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). 

Excellent!  Thanks a lot for having taking the time to prepare this, it will be 
most helpful.

> 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.

I have other things to finish first, but I'll try to process your issue asap.

Cheers!