Loi, The wrong values have to be coming from somewhere. I doubt they are coming from the system include path but it is a possibility. Maybe you can rebuild in verbose mode (make VERBOSE=1), copy out the command line that builds IntrinsicCleaner.cpp and modify it so it produces a preprocessed file (change -c to -E and -o /path/to/IntrinsicCleaner.o to -o /tmp/IntrinsicCleaner.ii). Then look at /tmp/IntrinsicCleaner.ii and see if you can figure out where the wrong values are coming from.
Peter On Mon, Oct 28, 2013 at 12:54:35PM +0800, Loi Luu wrote: > Hi Peter, > > The values of LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR are as you said. I > installed KLEE before and removed all relevant environment variables of it > already. One thing I should mention is that to compile llvm and clang, I > had to change some environment variables as indicated in > http://lists.cs.uiuc.edu/pipermail/llvmdev/2013-February/059905.html. Does > it cause the errors? > > Thanks, > > > On Mon, Oct 28, 2013 at 12:43 PM, Peter Collingbourne <[email protected]>wrote: > > > On Mon, Oct 28, 2013 at 10:46:48AM +0800, Loi Luu wrote: > > > Hi, > > > > > > I follow compilation instruction of Daniel in this message > > > http://www.mail-archive.com/[email protected]/msg01034.html and > > get > > > compilation error in the last step (compile KLEE-FP). Can you take a look > > > and let me know why I got these errors. I attached the log of make > > command > > > in this email. > > > > It looks like the code for the wrong version of LLVM is being selected. > > Can you check the values of LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR > > in include/klee/Config/config.h in your build directory? They should > > be 3 and 1 respectively. > > > > It may also be the case that a file with the same name is elsewhere on > > your include path, in particular in the source directory if you have done > > an in-tree build before. > > > > Thanks, > > -- > > Peter > > > > > > -- > Loi, Luu The (Mr.) > RA at Security Lab, SoC, NUS -- Peter _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
