Re: [creduce-bugs] clang-delta bug

[Yang Chen <chenyang@cs.utah.edu>]

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