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
