[klee-dev] KLEE-FP compilation

[Peter Collingbourne]

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 <peter at pcc.me.uk>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/klee-dev@imperial.ac.uk/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