[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[creduce-bugs] example code that crashes creduce
- Subject: [creduce-bugs] example code that crashes creduce
- From: chenyang at cs.utah.edu (Yang Chen)
- Date: Mon, 21 Oct 2013 15:55:58 -0600
- In-reply-to: <CAAaSavez9at1jfO3_GCiCJAjfEWMTVgQjas79BJjH=fF-nvyNA@mail.gmail.com>
- References: <CAAaSavez9at1jfO3_GCiCJAjfEWMTVgQjas79BJjH=fF-nvyNA@mail.gmail.com>
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