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