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