[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:

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