[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] C-Reduce Segfaults

Hi Lennart,

Thank you for the report. Looks like these issues were all gone in the git head.

- Yang

On 11/13/19 1:24 PM, Lennart Braun wrote:
Hi there,

while reducing some reproducer code, I encountered some segfault as
non-fatal bugs. The generated files are attached.  I used C-Reduce 2.10,
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 [0].

Thanks for the nice tool!

Best regards


[0]: https://bugs.llvm.org/show_bug.cgi?id=43995