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: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 installI wonder if your LLVM 3.8 is built without assertions and this allows clang_delta sneak past some bugs?
John 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. Thanks, John