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

Reply via email to