[creduce-bugs] clang-delta bug

[John Regehr <regehr@cs.utah.edu>]

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.

Thanks,

John