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

Re: [creduce-dev] puzzling clang_delta crash

I can't speak for Yang but if we have any brave users who want to use --die-on-pass-bug and report any remaining bugs in my part of C-Reduce (everything except clang_delta, basically) I'll be happy to fix. I know some bugs remain but I can't trigger them offhand.


On 11/16/15 8:37 AM, John Regehr wrote:
Great, C-Reduce now reduces this largish pile of non-preprocessed C code
(across ~180 files) without any pass failures!  I think that is a first.


On 11/16/15 5:03 AM, Yang Chen wrote:
Fixed. Thanks.

- Yang

On 11/15/2015 01:51 PM, John Regehr wrote:
Thanks Yang!

Recent patches have made clang_delta much more stable and a difficult
C++ reduction that I have sitting around now almost completes in
C-Reduce's new --die-on-pass-bug mode, but at the very end it trips
over this:

$ "/Users/regehr/creduce-install/libexec/clang_delta"
--transformation=rename-class --counter=1 hello.cpp
Segmentation fault: 11