[creduce-bugs] example code that crashes creduce

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

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/20131020/292055de/attachment.html>