On 12/03/2015 08:47 AM, John Regehr wrote:
This invocation appears to simply make __ISwalnum one character larger:
clang_delta --transformation=remove-unused-enum-member --counter=1
wctype.h
You have to run it in the directory untarred from here:
http://www.cs.utah.edu/~regehr/reduce.tar.gz
The problem, of course, is that this looks like progress to C-Reduce
which goes into an infinite loop.
Hmm, I saw a different bug symptom with the Debug version of clang_delta
(with LLVM 3.7): clang_delta crashed for the given command.
I committed a fix for the crash. It may also fix the infinite-loop issue
that you ran into?
- Yang