[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-22 02:05, John Regehr wrote:
I'm running 10.11.3 with I suppose the latest
Xcode since there aren't any updates waiting to install.
My system is older than yours:
System Version: OS X 10.10.4 (14E46)
Kernel Version: Darwin 14.4.0
What options are you passing to C-Reduce's configure? I pass no
arguments since I've put clang 3.8 as the first clang in my PATH.
I explicitly passed --with-llvm to the configure:
You have built this LLVM, right?
I grabbed my version from:
What options are you passing to LLVM cmake? I build LLVM like this:
-DCMAKE_CXX_COMPILER=clang++ -DCMAKE_BUILD_TYPE=Release -G Ninja ..
I was using configure/make:
Note that one big difference is "--disable-optimized".
I wonder if your LLVM 3.8 is built without assertions and this allows
clang_delta sneak past some bugs?
It could be. Let me check out the LLVM version that you use and build it
with your cmake command.