[creduce-bugs] example code that crashes creduce

[su at cs.ucdavis.edu (Zhendong Su)]

Thanks for the quick fix Yang!   I'll check it out.

On Mon, Oct 21, 2013 at 2:55 PM, Yang Chen <chenyang at cs.utah.edu> wrote:

> Hi Zhendong,
>
> Fixed in 29540ee. Thanks for the bug report!
>
> - Yang
>
> Zhendong Su wrote:
>
>> Please see the following:
>>
>> $ /usr/local/libexec/clang_delta --transformation=remove-array
>> --counter=1 crash-creduce.c
>> Stack dump:
>> 0.    <eof> parser at end of file
>> Segmentation fault (core dumped)
>> $ cat crash-creduce.c
>> int j[1];
>>
>> int
>> main ()
>> {
>>   j[j[j[j[j[0]]]]];
>>   return 0;
>> }
>>
>> Thanks for a nice tool!
>>
>> --
>> Zhendong Su, Professor
>> Chancellor's Fellow
>> UC Davis
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.flux.utah.edu/pipermail/creduce-bugs/attachments/20131021/427556e7/attachment.html>