Re: [creduce-dev] puzzling clang_delta crash

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

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.

John


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
> >
> > John