[klee-dev] KLEE-FP compilation
Loi Luu
loi.luuthe at gmail.com
Mon Oct 28 02:46:48 GMT 2013
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.
Thanks,
--
Loi, Luu The (Mr.)
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
make[1]: Entering directory `/home/secnus/work/kleefp/klee-fp/bin/lib'
make[2]: Entering directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Basic'
make[2]: Entering directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Support'
make[2]: Entering directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Expr'
llvm[2]: Compiling RNG.cpp for Release+Debug+Asserts build
make[2]: Entering directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Solver'
llvm[2]: Compiling KTest.cpp for Release+Debug+Asserts build
llvm[2]: Compiling CachingSolver.cpp for Release+Debug+Asserts build
llvm[2]: Compiling Constraints.cpp for Release+Debug+Asserts build
llvm[2]: Compiling Time.cpp for Release+Debug+Asserts build
llvm[2]: Compiling Statistics.cpp for Release+Debug+Asserts build
llvm[2]: Compiling Timer.cpp for Release+Debug+Asserts build
llvm[2]: Compiling TreeStream.cpp for Release+Debug+Asserts build
llvm[2]: Building Release+Debug+Asserts Archive Library libkleeBasic.a
make[2]: Leaving directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Basic'
llvm[2]: Compiling Expr.cpp for Release+Debug+Asserts build
llvm[2]: Building Release+Debug+Asserts Archive Library libkleeSupport.a
make[2]: Leaving directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Support'
llvm[2]: Compiling CexCachingSolver.cpp for Release+Debug+Asserts build
llvm[2]: Compiling ExprBuilder.cpp for Release+Debug+Asserts build
make[2]: Entering directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Module'
llvm[2]: Compiling Checks.cpp for Release+Debug+Asserts build
In file included from /home/secnus/work/kleefp/llvm_and_clang/src/include/llvm/Support/Valgrind.h:20:0,
from /home/secnus/work/kleefp/llvm_and_clang/src/include/llvm/PassSupport.h:28,
from /home/secnus/work/kleefp/llvm_and_clang/src/include/llvm/Pass.h:368,
from /home/secnus/work/kleefp/klee-fp/lib/Module/Passes.h:18,
from /home/secnus/work/kleefp/klee-fp/lib/Module/Checks.cpp:10:
/home/secnus/work/kleefp/llvm_and_clang/bin/include/llvm/Config/llvm-config.h:108:0: warning: "LLVM_PREFIX" redefined [enabled by default]
<command-line>:0:0: note: this is the location of the previous definition
In file included from /home/secnus/work/kleefp/klee-fp/lib/Solver/CexCachingSolver.cpp:19:0:
/home/secnus/work/kleefp/klee-fp/bin/../include/klee/Internal/ADT/MapOfSets.h: In member function ‘V* klee::MapOfSets<K, V>::findSuperset(klee::MapOfSets<K, V>::Node*, typename std::set<K>::iterator, typename std::set<K>::iterator, const Predicate&) [with Predicate = NonNullAssignment, K = klee::ref<klee::Expr>, V = klee::Assignment*, typename std::set<K>::iterator = std::_Rb_tree_const_iterator<klee::ref<klee::Expr> >]’:
/home/secnus/work/kleefp/klee-fp/bin/../include/klee/Internal/ADT/MapOfSets.h:367:57: instantiated from ‘V* klee::MapOfSets<K, V>::findSuperset(const std::set<K>&, const Predicate&) [with Predicate = NonNullAssignment, K = klee::ref<klee::Expr>, V = klee::Assignment*]’
/home/secnus/work/kleefp/klee-fp/lib/Solver/CexCachingSolver.cpp:124:70: instantiated from here
/home/secnus/work/kleefp/klee-fp/bin/../include/klee/Internal/ADT/MapOfSets.h:348:44: warning: variable ‘kbegin’ set but not used [-Wunused-but-set-variable]
llvm[2]: Compiling InstructionInfoTable.cpp for Release+Debug+Asserts build
llvm[2]: Compiling ConstantDivision.cpp for Release+Debug+Asserts build
llvm[2]: Compiling FPRewritingSolver.cpp for Release+Debug+Asserts build
llvm[2]: Compiling IntrinsicCleaner.cpp for Release+Debug+Asserts build
In file included from /home/secnus/work/kleefp/llvm_and_clang/src/include/llvm/Support/Valgrind.h:20:0,
from /home/secnus/work/kleefp/llvm_and_clang/src/include/llvm/PassSupport.h:28,
from /home/secnus/work/kleefp/llvm_and_clang/src/include/llvm/Pass.h:368,
from /home/secnus/work/kleefp/klee-fp/lib/Module/Passes.h:18,
from /home/secnus/work/kleefp/klee-fp/lib/Module/IntrinsicCleaner.cpp:10:
/home/secnus/work/kleefp/llvm_and_clang/bin/include/llvm/Config/llvm-config.h:108:0: warning: "LLVM_PREFIX" redefined [enabled by default]
<command-line>:0:0: note: this is the location of the previous definition
llvm[2]: Compiling KInstruction.cpp for Release+Debug+Asserts build
llvm[2]: Compiling ExprCPrinter.cpp for Release+Debug+Asserts build
/home/secnus/work/kleefp/klee-fp/lib/Module/IntrinsicCleaner.cpp: In member function ‘bool klee::IntrinsicCleanerPass::runOnBasicBlock(llvm::BasicBlock&)’:
/home/secnus/work/kleefp/klee-fp/lib/Module/IntrinsicCleaner.cpp:171:12: error: ‘memory_barrier’ is not a member of ‘llvm::Intrinsic’
/home/secnus/work/kleefp/klee-fp/lib/Module/IntrinsicCleaner.cpp:172:12: error: ‘atomic_swap’ is not a member of ‘llvm::Intrinsic’
/home/secnus/work/kleefp/klee-fp/lib/Module/IntrinsicCleaner.cpp:173:12: error: ‘atomic_cmp_swap’ is not a member of ‘llvm::Intrinsic’
/home/secnus/work/kleefp/klee-fp/lib/Module/IntrinsicCleaner.cpp:174:12: error: ‘atomic_load_add’ is not a member of ‘llvm::Intrinsic’
/home/secnus/work/kleefp/klee-fp/lib/Module/IntrinsicCleaner.cpp:175:12: error: ‘atomic_load_sub’ is not a member of ‘llvm::Intrinsic’
/bin/rm: cannot remove `/home/secnus/work/kleefp/klee-fp/bin/lib/Module/Release+Debug+Asserts/IntrinsicCleaner.d.tmp': No such file or directory
make[2]: *** [/home/secnus/work/kleefp/klee-fp/bin/lib/Module/Release+Debug+Asserts/IntrinsicCleaner.o] Error 1
make[2]: Leaving directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Module'
make[1]: *** [Module/.makeall] Error 2
make[1]: *** Waiting for unfinished jobs....
llvm[2]: Compiling ExprEvaluator.cpp for Release+Debug+Asserts build
/home/secnus/work/kleefp/klee-fp/lib/Expr/ExprCPrinter.cpp: In member function ‘void klee::ExprCPrinter::printExpr(std::ostream&, klee::ExprCPrinter::CType&, klee::ref<klee::Expr>)’:
/home/secnus/work/kleefp/klee-fp/lib/Expr/ExprCPrinter.cpp:53:10: warning: enumeration value ‘Any’ not handled in switch [-Wswitch]
/home/secnus/work/kleefp/klee-fp/lib/Expr/ExprCPrinter.cpp: In static member function ‘static void klee::ExprCPrinter::printExprEvaluator(std::ostream&, klee::ref<klee::Expr>)’:
/home/secnus/work/kleefp/klee-fp/lib/Expr/ExprCPrinter.cpp:668:35: error: no match for ‘operator<<’ in ‘std::operator<< [with _Traits = std::char_traits<char>]((* & out), ((const char*)", char *")) << i.llvm::StringMapIterator<ValueT>::operator-> [with ValueTy = char]()->llvm::StringMapEntry<ValueTy>::first [with ValueTy = char]()’
/home/secnus/work/kleefp/klee-fp/lib/Expr/ExprCPrinter.cpp:668:35: note: candidates are:
/usr/include/c++/4.6/ostream:110:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(std::basic_ostream<_CharT, _Traits>::__ostream_type& (*)(std::basic_ostream<_CharT, _Traits>::__ostream_type&)) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:110:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘std::basic_ostream<char>::__ostream_type& (*)(std::basic_ostream<char>::__ostream_type&) {aka std::basic_ostream<char>& (*)(std::basic_ostream<char>&)}’
/usr/include/c++/4.6/ostream:119:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(std::basic_ostream<_CharT, _Traits>::__ios_type& (*)(std::basic_ostream<_CharT, _Traits>::__ios_type&)) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>, std::basic_ostream<_CharT, _Traits>::__ios_type = std::basic_ios<char>]
/usr/include/c++/4.6/ostream:119:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘std::basic_ostream<char>::__ios_type& (*)(std::basic_ostream<char>::__ios_type&) {aka std::basic_ios<char>& (*)(std::basic_ios<char>&)}’
/usr/include/c++/4.6/ostream:129:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(std::ios_base& (*)(std::ios_base&)) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:129:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘std::ios_base& (*)(std::ios_base&)’
/usr/include/c++/4.6/ostream:167:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(long int) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:167:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘long int’
/usr/include/c++/4.6/ostream:171:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(long unsigned int) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:171:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘long unsigned int’
/usr/include/c++/4.6/ostream:175:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(bool) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:175:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘bool’
/usr/include/c++/4.6/bits/ostream.tcc:93:5: note: std::basic_ostream<_CharT, _Traits>& std::basic_ostream<_CharT, _Traits>::operator<<(short int) [with _CharT = char, _Traits = std::char_traits<char>]
/usr/include/c++/4.6/bits/ostream.tcc:93:5: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘short int’
/usr/include/c++/4.6/ostream:182:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(short unsigned int) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:182:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘short unsigned int’
/usr/include/c++/4.6/bits/ostream.tcc:107:5: note: std::basic_ostream<_CharT, _Traits>& std::basic_ostream<_CharT, _Traits>::operator<<(int) [with _CharT = char, _Traits = std::char_traits<char>]
/usr/include/c++/4.6/bits/ostream.tcc:107:5: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘int’
/usr/include/c++/4.6/ostream:193:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(unsigned int) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:193:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘unsigned int’
/usr/include/c++/4.6/ostream:202:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(long long int) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:202:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘long long int’
/usr/include/c++/4.6/ostream:206:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(long long unsigned int) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:206:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘long long unsigned int’
/usr/include/c++/4.6/ostream:211:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(double) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:211:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘double’
/usr/include/c++/4.6/ostream:215:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(float) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:215:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘float’
/usr/include/c++/4.6/ostream:223:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(long double) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:223:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘long double’
/usr/include/c++/4.6/ostream:227:7: note: std::basic_ostream<_CharT, _Traits>::__ostream_type& std::basic_ostream<_CharT, _Traits>::operator<<(const void*) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__ostream_type = std::basic_ostream<char>]
/usr/include/c++/4.6/ostream:227:7: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘const void*’
/usr/include/c++/4.6/bits/ostream.tcc:121:5: note: std::basic_ostream<_CharT, _Traits>& std::basic_ostream<_CharT, _Traits>::operator<<(std::basic_ostream<_CharT, _Traits>::__streambuf_type*) [with _CharT = char, _Traits = std::char_traits<char>, std::basic_ostream<_CharT, _Traits>::__streambuf_type = std::basic_streambuf<char>]
/usr/include/c++/4.6/bits/ostream.tcc:121:5: note: no known conversion for argument 1 from ‘llvm::StringRef’ to ‘std::basic_ostream<char>::__streambuf_type* {aka std::basic_streambuf<char>*}’
/home/secnus/work/kleefp/klee-fp/bin/../include/klee/util/Ref.h:111:22: note: template<class T> std::ostream& klee::operator<<(std::ostream&, const klee::ref<T>&)
/home/secnus/work/kleefp/klee-fp/bin/../include/klee/Expr.h:348:22: note: std::ostream& klee::operator<<(std::ostream&, const klee::Expr&)
/home/secnus/work/kleefp/klee-fp/bin/../include/klee/Expr.h:348:22: note: no known conversion for argument 2 from ‘llvm::StringRef’ to ‘const klee::Expr&’
/home/secnus/work/kleefp/klee-fp/bin/../include/klee/Expr.h:353:22: note: std::ostream& klee::operator<<(std::ostream&, klee::Expr::Kind)
/home/secnus/work/kleefp/klee-fp/bin/../include/klee/Expr.h:353:22: note: no known conversion for argument 2 from ‘llvm::StringRef’ to ‘klee::Expr::Kind’
/usr/include/c++/4.6/ostream:528:5: note: template<class _Traits> std::basic_ostream<char, _Traits>& std::operator<<(std::basic_ostream<char, _Traits>&, const unsigned char*)
/usr/include/c++/4.6/ostream:523:5: note: template<class _Traits> std::basic_ostream<char, _Traits>& std::operator<<(std::basic_ostream<char, _Traits>&, const signed char*)
/usr/include/c++/4.6/ostream:510:5: note: template<class _Traits> std::basic_ostream<char, _Traits>& std::operator<<(std::basic_ostream<char, _Traits>&, const char*)
/usr/include/c++/4.6/bits/ostream.tcc:323:5: note: template<class _CharT, class _Traits> std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&, const char*)
/usr/include/c++/4.6/ostream:493:5: note: template<class _CharT, class _Traits> std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&, const _CharT*)
/usr/include/c++/4.6/ostream:473:5: note: template<class _Traits> std::basic_ostream<char, _Traits>& std::operator<<(std::basic_ostream<char, _Traits>&, unsigned char)
/usr/include/c++/4.6/ostream:468:5: note: template<class _Traits> std::basic_ostream<char, _Traits>& std::operator<<(std::basic_ostream<char, _Traits>&, signed char)
/usr/include/c++/4.6/ostream:462:5: note: template<class _Traits> std::basic_ostream<char, _Traits>& std::operator<<(std::basic_ostream<char, _Traits>&, char)
/usr/include/c++/4.6/ostream:456:5: note: template<class _CharT, class _Traits> std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&, char)
/usr/include/c++/4.6/ostream:451:5: note: template<class _CharT, class _Traits> std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&, _CharT)
/usr/include/c++/4.6/bits/basic_string.h:2693:5: note: template<class _CharT, class _Traits, class _Alloc> std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&, const std::basic_string<_CharT, _Traits, _Alloc>&)
/home/secnus/work/kleefp/llvm_and_clang/src/include/llvm/ADT/APInt.h:1546:21: note: llvm::raw_ostream& llvm::operator<<(llvm::raw_ostream&, const llvm::APInt&)
/home/secnus/work/kleefp/llvm_and_clang/src/include/llvm/ADT/APInt.h:1546:21: note: no known conversion for argument 1 from ‘std::basic_ostream<char>’ to ‘llvm::raw_ostream&’
/bin/rm: cannot remove `/home/secnus/work/kleefp/klee-fp/bin/lib/Expr/Release+Debug+Asserts/ExprCPrinter.d.tmp': No such file or directory
make[2]: *** [/home/secnus/work/kleefp/klee-fp/bin/lib/Expr/Release+Debug+Asserts/ExprCPrinter.o] Error 1
make[2]: *** Waiting for unfinished jobs....
llvm[2]: Compiling FastCexSolver.cpp for Release+Debug+Asserts build
llvm[2]: Compiling IncompleteSolver.cpp for Release+Debug+Asserts build
make[2]: Leaving directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Expr'
make[1]: *** [Expr/.makeall] Error 2
llvm[2]: Compiling IndependentSolver.cpp for Release+Debug+Asserts build
llvm[2]: Compiling PCLoggingSolver.cpp for Release+Debug+Asserts build
llvm[2]: Compiling STPBuilder.cpp for Release+Debug+Asserts build
llvm[2]: Compiling Solver.cpp for Release+Debug+Asserts build
llvm[2]: Compiling SolverStats.cpp for Release+Debug+Asserts build
llvm[2]: Compiling float_utils.cpp for Release+Debug+Asserts build
llvm[2]: Building Release+Debug+Asserts Archive Library libkleaverSolver.a
make[2]: Leaving directory `/home/secnus/work/kleefp/klee-fp/bin/lib/Solver'
make[1]: Leaving directory `/home/secnus/work/kleefp/klee-fp/bin/lib'
make: *** [all] Error 1
More information about the klee-dev
mailing list