RE: Bug (segmentation fault) in the generation of counterexamples
"Bartkowiak, Michal (Nokia - PL/Wroclaw)" <[email protected]>
| Newsgroups | gmane.comp.parsers.bison.bugs |
|---|---|
| Message-ID | <VI1PR07MB4877B302E46B0AA58788E953EEAE0@VI1PR07MB4877.eurprd07.prod.outlook.com> |
Of course, thanks! Best regards, Michal Bartkowiak -----Original Message----- From: Akim Demaille <[email protected]> Sent: Friday, January 8, 2021 6:19 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, > Le 7 janv. 2021 à 10:47, Bartkowiak, Michal (Nokia - PL/Wroclaw) <[email protected]> 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!