Message: ===< pass_clang_binsrch :: remove-unused-function >=== Assertion failed: ((TheRewriter->getRangeSize(Range) != -1) && "Bad UsingDecl SourceRange!"), function removeDecl, file RewriteUtils.cpp, line 1525. *************************************************** pass_clang_binsrch::remove-unused-function has encountered a bug: crashed: "/usr/local/libexec/clang_delta" --transformation=remove-unused-function --counter=1 --to-counter=9415 /tmp/creduce-9h2sNC/Clang-5d4797.cpp Please consider tarring up /usr/home/pkubaj/base/creduce_bug_000 and mailing it to creduce-bugs@flux.utah.edu and we will try to fix the bug. This bug is not fatal, C-Reduce will continue to execute. *************************************************** Debug info attached.
Attachment:
creduce_bug_000.tar.xz
Description: application/xz
Attachment:
signature.asc
Description: PGP signature