Re: Bug (segmentation fault) in the generation of counterexamples
Akim Demaille <[email protected]>
| Newsgroups | gmane.comp.parsers.bison.bugs |
|---|---|
| Message-ID | <[email protected]> |
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!