Hi Fabio, Thanks for the bug report! On 2016-04-15 02:08, Fabio Pagani wrote:
Hello list, I found some bugs in clang_delta. All the crashes are from the same file, the two different directory inside the tar.gz are related to two different runs of creduce (a/ folder w/o parameters and b/ folder with '--sllooww') so probably they will collide in one unique bug.
Yes, all of these stem from the same root. The crash is now fixed in the Git head.
The original file was created from csmith.. it might be a good idea to massively run creduce against it, no?
Yes, we did. I believe we've run C-Reduce against Csmith-generated programs a lot since C-Reduce was developed :) Also, in clang_delta dir, you will find a script, test_transformation, which is able to exercise clang_delta with Csmith in particular.
- Yang