[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-bugs] C-Reduce Segfaults
Thanks for the report. I will investigate the issues.
On 2019-11-14 07:49, Lennart Braun wrote:
here are some more reports for non-fatal bugs in C-Reduce (2a4480e). I
used the same original source code as last time but a different "is
Again, in case it is relevant, this resulted in reporting the bug .
On 13.11.19 22:24, Lennart Braun wrote:
while reducing some reproducer code, I encountered some segfault as
non-fatal bugs. The generated files are attached. I used C-Reduce
however, the segfaults occur also with C-Reduce built from git
In case it is related: I used the reduced code to report the clang bug
Thanks for the nice tool!