[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [creduce-dev] a few crashes in llvm-svn-compatible
On 2016-01-23 00:48, John Regehr wrote:
Ok let's just make sure of a couple more things.
Can you make sure you are also building C-Reduce using Clang? I do
this via autoconf:
./configure CC=clang CXX=clang++ --prefix=$HOME/creduce-install
Yes, I built C-Reduce using Clang.
Then run this on the attached file:
--transformation=local-to-global --counter=1 main.cpp
Assertion failed: (RWBuf && "Empty RewriteBuffer!"), function
outputTransformedSource, file Transformation.cpp, line 101.
Abort trap: 6
What is the output when you run this? Does it do a useful
I got this:
$ ../clang_delta --transformation=local-to-global --counter=1 main.cpp
Error: The counter value exceeded the number of transformation
It looks good to me.