Hi, I have found an ICE in the transaction memory extension while compiling a program with gcc,but unfortunately for filing a bug in the gcc bugzilla I am unable to reduce the buggy file with creduce .
I have included the command line option -fgnu-tm while compiling it. Does creduce support transactional memory for reduction? In the interestingness test script,it always returns 1, also following message is displayed C-Reduce cannot run because the interestingness test does not return zero. Please ensure that it does so not only in the directory where you are invoking C-Reduce, but also in an arbitrary temporary directory containing only the files that are being reduced. In other words, running these commands: DIR=`mktemp -d` cp /home/swamimauli/upload/csmith/runtime/del/testcase.c $DIR cd $DIR /home/swamimauli/upload/csmith/runtime/del/check.sh echo $? should result in "0" being echoed to the terminal. See "creduce --help" for more information. Thanks, Sameeran Joshi
