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 (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