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

Re: [creduce-bugs] clang-delta bug

I'll see if I run into it again-- thanks Yang!


On 12/7/15 7:13 AM, Yang Chen wrote:

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

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