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 <[email protected]> Sent: Wednesday, January 6, 2021 6:57 AM To: Bartkowiak, Michal (Nokia - PL/Wroclaw) <[email protected]> Cc: Bison Bugs <[email protected]> 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) > <[email protected]> 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
