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

Re: [creduce-dev] Close to New C-Reduce Release

Current C-Reduce works just fine on OS X but I have three things that we should fix:

"configure" fails for me on Ubuntu 14.04, see the relevant part of config.log below. I don't understand why autoconf is invoking g++ when ostensibly attempting to check if it can compile/link with LLVM.

We should get rid of the error message where pass_indent::regular fails to modify the test case. This is not a bug and so the output is confusing and stupid. I'll try to find a minimally hacky way to do this.

Second, I ran across a new crash on unpreprocessed code, see attached file (reduced by C-Reduce obviously). Do you have time to take a look Yang? This is seen on Mac. I haven't repro'd on Linux due to configure problem above.


configure:15644: result: GNU/Linux ld.so
configure:15709: checking how to hardcode library paths into programs
configure:15734: result: immediate
configure:15816: checking for llvm-config
configure:15834: found /home/regehr/clang+llvm-3.7.0-x86_64-linux-gnu-ubuntu-14.04/bin/llvm-config configure:15846: result: /home/regehr/clang+llvm-3.7.0-x86_64-linux-gnu-ubuntu-14.04/bin/llvm-config
configure:15859: checking for LLVM version
configure:15862: result: 3.7.0
configure:15933: checking can compile with and link with LLVM(engine)
configure:15959: g++ -o conftest -g -O2 -I/home/regehr/clang+llvm-3.7.0-x86_64-linux-gnu-ubuntu-14.04/include -\ fPIC -fvisibility-inlines-hidden -Wall -W -Wno-unused-parameter -Wwrite-strings -Wcast-qual -Wmissing-field-initi\ alizers -pedantic -Wno-long-long -Wcovered-switch-default -Wnon-virtual-dtor -Werror=date-time -std=c++11 -ffunct\ ion-sections -fdata-sections -O3 -DNDEBUG -fno-exceptions -fno-rtti -D_GNU_SOURCE -D__STDC_CONSTANT_MACROS -D__S\ TDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS conftest.cpp -lLLVMX86Disassembler -lLLVMX86AsmParser -lLLVMX86CodeGen \ -lLLVMSelectionDAG -lLLVMAsmPrinter -lLLVMCodeGen -lLLVMScalarOpts -lLLVMProfileData -lLLVMInstCombine -lLLVMInst\ rumentation -lLLVMTransformUtils -lLLVMipa -lLLVMX86Desc -lLLVMMCDisassembler -lLLVMX86Info -lLLVMX86AsmPrinter -\ lLLVMX86Utils -lLLVMMCJIT -lLLVMExecutionEngine -lLLVMTarget -lLLVMAnalysis -lLLVMRuntimeDyld -lLLVMObject -lLLVM\ MCParser -lLLVMBitReader -lLLVMMC -lLLVMCore -lLLVMSupport -L/home/regehr/clang+llvm-3.7.0-x86_64-linux-gnu-ubunt\
u-14.04/lib  -lrt -ldl -lpthread -lm >&5
g++: error: unrecognized command line option '-Wcovered-switch-default'
configure:15959: $? = 1
configure: failed program was:
| /* confdefs.h */
| #define PACKAGE_NAME "creduce"
| #define PACKAGE_TARNAME "creduce"

# include <ctype.h>