I installed LLVM on a ubuntu 9.10 x64 O/S.
I also installed klee-uclibc64.patch, i found it at
http://keeda.stanford.edu/pipermail/klee-dev/attachments/20090823/1fc54e53/attachment.bin.
My problem looks like this:
llvm[2]: Compiling Executor.cpp for Release build
In file included from /usr/include/c++/4.4/cstdint:35,
from ExternalDispatcher.h:15,
from Executor.cpp:16:
/usr/include/c++/4.4/c++0x_warning.h:31:2: error: #error This file requires
compiler and library support for the upcoming ISO C++ standard, C++0x. This
support is currently experimental, and must be enabled with the -std=c++0x or
-std=gnu++0x compiler options.
Executor.cpp: In member function ?void
klee::Executor::initializeGlobals(klee::ExecutionState&)?:
Executor.cpp:558: warning: format ?%#08llx? expects type ?long long unsigned
int?, but argument 2 has type ?uint64_t?
Executor.cpp:558: warning: format ?%llu? expects type ?long long unsigned int?,
but argument 3 has type ?uint64_t?
make[2]: *** [/home/nachos/kritikos_proj/klee/lib/Core/Release/Executor.o]
Error 1
make[2]: Leaving directory `/home/nachos/kritikos_proj/klee/lib/Core'
make[1]: *** [Core/.makeall] Error 2
make[1]: Leaving directory `/home/nachos/kritikos_proj/klee/lib'
make: *** [all] Error 1
_________________________________________________________________
Your E-mail and More On-the-Go. Get Windows Live Hotmail Free.
https://signup.live.com/signup.aspx?id=60969
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100212/1301c61a/attachment.html
