[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Bug (segmentation fault) in the generation of counterexamples
From: |
Bartkowiak, Michal (Nokia - PL/Wroclaw) |
Subject: |
RE: Bug (segmentation fault) in the generation of counterexamples |
Date: |
Thu, 7 Jan 2021 09:47:28 +0000 |
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
- Bug (segmentation fault) in the generation of counterexamples, Bartkowiak, Michal (Nokia - PL/Wroclaw), 2021/01/05
- Re: Bug (segmentation fault) in the generation of counterexamples, Akim Demaille, 2021/01/06
- RE: Bug (segmentation fault) in the generation of counterexamples,
Bartkowiak, Michal (Nokia - PL/Wroclaw) <=
- Re: Bug (segmentation fault) in the generation of counterexamples, Akim Demaille, 2021/01/08
- RE: Bug (segmentation fault) in the generation of counterexamples, Bartkowiak, Michal (Nokia - PL/Wroclaw), 2021/01/08
- Re: Bug (segmentation fault) in the generation of counterexamples, Akim Demaille, 2021/01/24
- RE: Bug (segmentation fault) in the generation of counterexamples, Bartkowiak, Michal (Nokia - PL/Wroclaw), 2021/01/24
- Re: Bug (segmentation fault) in the generation of counterexamples, Akim Demaille, 2021/01/24