[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] a few crashes in llvm-svn-compatible

Yang, let's try to eliminate some possible differences in our setups. Let's talk Mac for now. I'm running 10.11.3 with I suppose the latest Xcode since there aren't any updates waiting to install.

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.

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

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

ninja install

I wonder if your LLVM 3.8 is built without assertions and this allows clang_delta sneak past some bugs?


On 1/22/16 7:17 AM, Yang Chen wrote:
Hmm, I couldn't reproduce the failures on my local systems, Ubuntu
14.04.3 LTS and Mac (Yosemite Darwin 14.4.0), with LLVM 3.8.

Seems something is strange. I recall that it's the third time at which I
couldn't reproduce the crashes for Mac...

- Yang

On 2016-01-19 02:22, John Regehr wrote:
I've updated the llvm-svn-compatible branch and am doing some testing
against the LLVM-3.8 release branch.  Attached are a few clang_delta
crashes, if someone has time to fix.