Re: [creduce-bugs] example code that crashes creduce

[Yang Chen]

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