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
Post by Loi LuuHi 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,
Post by Loi LuuPost by Loi LuuHi,
I follow compilation instruction of Daniel in this message
get
Post by Loi Luucompilation 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
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