[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-bugs] clang-delta bug

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:


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