Re: [creduce-bugs] C-Reduce Segfaults

[Lennart Braun <lennart.braun@posteo.de>]

Hi there,

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
interesting" script.

Again, in case it is relevant, this resulted in reporting the bug [1].

Best regards

Lennart

[1]: https://bugs.llvm.org/show_bug.cgi?id=44002


On 13.11.19 22:24, 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
> (2a4480e).
>
> In case it is related: I used the reduced code to report the clang bug [0].
>
> Thanks for the nice tool!
>
> Best regards
>
> Lennart
>
>
> [0]: https://bugs.llvm.org/show_bug.cgi?id=43995
>

Attachment: creduce_bug_004.tar.gz
Description: application/gzip

Attachment: creduce_bug_003.tar.gz
Description: application/gzip

Attachment: creduce_bug_002.tar.gz
Description: application/gzip

Attachment: creduce_bug_001.tar.gz
Description: application/gzip

Attachment: signature.asc
Description: OpenPGP digital signature