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.