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 >
creduce_bug_004.tar.gz
Description: application/gzip
creduce_bug_003.tar.gz
Description: application/gzip
creduce_bug_002.tar.gz
Description: application/gzip
creduce_bug_001.tar.gz
Description: application/gzip
signature.asc
Description: OpenPGP digital signature
