[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:
./configure --with-llvm=/Users/yangchen/work/compilers/compiler-install/llvm-3.8.rc1-debug 



You have built this LLVM, right?
  URL: http://llvm.org/svn/llvm-project/llvm/branches/release_38


I grabbed my version from:

URL: http://llvm.org/svn/llvm-project/llvm/tags/RELEASE_380/rc1



What options are you passing to LLVM cmake?  I build LLVM like this:

cmake -DLLVM_TARGETS_TO_BUILD=host
-DCMAKE_INSTALL_PREFIX=${HOME}/llvm-38-install
-DLLVM_ENABLE_ASSERTIONS=1 -DCMAKE_C_COMPILER=clang
-DCMAKE_CXX_COMPILER=clang++ -DCMAKE_BUILD_TYPE=Release -G Ninja ..
ninja install


I was using configure/make:
$ ../configure --prefix=/Users/yangchen/work/compilers/compiler-install/llvm-3.8.rc1-debug --disable-optimized --enable-assertion 

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. 

- Yang