John, problem with crash isn't crash itself. Problem is in absence of crash-file mentioned in message
"OOPS: clang_delta crashed; please consider mailing clang_delta_crash_tmp_file0I5kCp.c" Thanks, Dmitry 2013/6/8 John Regehr <[email protected]>: > Hi Dmitry, > > I'm in the middle of some more C-Reduce changes right now. It might be best > to not use the current version until things stabilize a bit. > > >> -- tests 0..3 PASS >> -- tests 4, 5, 7 FAIL with > > > I'll look into this, thanks for letting us know. > > >> 0. <eof> parser at end of file >> sh: line 1: 23784 Segmentation fault (core dumped) >> /home/dimhen/build/creduce/creduce/../clang_delta/clang_delta >> --transformation=return-void --counter=1 >> /home/dimhen/tmp/creduce-WStouG/small.c > /tmp/file0I5kCp > > > Right now we only develop and test using Clang 3.2, so we can't help you > with crashes against the LLVM top of tree. It's super easy to download the > 3.2 binary distribution and compile C-Reduce against it, so I'd ask you to > just do that. > > I have not seen any hangs like you are seeing, but it could easily be that I > have introduced new bugs lately. I'm still making some changes to the core > of C-Reduce but will hopefully be done soon, and then I'll try to reproduce > the problems you are seeing. > > John
