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

[John Regehr <regehr@cs.utah.edu>]

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.

John






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>