I try to change the llvm version(3.4), but I can't build llvm-obj of php.bc, getting the error below: "clang: error: -emit-llvm cannot be used when linking".
Best Regards. 2014-05-07 20:34 GMT+08:00 Paul Marinescu <[email protected]>: > Seems to be an LLVM issue. You should be able to get more help directly > from them (see http://llvm.org/docs/HowToSubmitABug.html#code- > generator-bugs). Alternatively, try a different LLVM build/version. > > Paul > > > > On 07/05/14 13:09, agan Davis wrote: > >> Hi paul >> >> I build klee on llvm3.3/clang3.3, and generating php.bc though clang3.3, >> it should not be the reason of llvm verison. when I exe llc php.bc, >> getting the information blelow: >> >> While deleting: metadata % >> An asserting value handle still pointed to this value! >> UNREACHABLE executed at /home/davis/klee/llvm/lib/IR/Value.cpp:633! >> 0 llc 0x0000000001174942 >> llvm::sys::PrintStackTrace(_IO_FILE*) + 34 >> 1 llc 0x0000000001173d69 >> 2 libpthread.so.0 0x00007f470677ecb0 >> 3 libc.so.6 0x00007f47059d0425 gsignal + 53 >> 4 libc.so.6 0x00007f47059d3b8b abort + 379 >> 5 llc 0x000000000115c6dc >> 6 llc 0x000000000111d8c8 >> llvm::ValueHandleBase::ValueIsDeleted(llvm::Value*) + 3128 >> 7 llc 0x000000000111e055 llvm::Value::~Value() + 597 >> 8 llc 0x00000000010f96ff llvm::MDNode::destroy() + 15 >> 9 llc 0x00000000010f3a4d >> llvm::LLVMContextImpl::~LLVMContextImpl() + 2941 >> 10 llc 0x00000000010f1a01 llvm::LLVMContext::~LLVMContext() >> + 17 >> 11 llc 0x00000000010f24ae >> 12 llc 0x000000000116001e llvm::ManagedStaticBase::destroy() >> const + 46 >> 13 llc 0x0000000001160085 llvm::llvm_shutdown() + 21 >> 14 llc 0x000000000055d3ce main + 382 >> 15 libc.so.6 0x00007f47059bb76d __libc_start_main + 237 >> 16 llc 0x000000000056f875 >> Stack dump: >> 0.Program arguments: llc php.bc >> >> Aborted (core dumped) >> >> May be llvm3.3 exists bug in this point? >> >> >> 2014-05-07 17:37 GMT+08:00 Paul Marinescu <[email protected] >> <mailto:[email protected]>>: >> >> >> Hi Agan, >> I suspect something in the way you created php.bc . Are you using >> the same LLVM version as in KLEE? Are you running any custom passes >> (either in KLEE or via opt). Does llc php.bc (for example) work? >> >> Paul >> >> On 7 May 2014, at 01:51, agan Davis <[email protected] >> <mailto:[email protected]>> wrote: >> >> > Hi everyone >> > >> > when I test php.bc using klee , the error emerge below: >> > >> > Terminator found in the middle of a basic block! >> > label %if.else.i.i >> > Broken module found, compilation aborted! >> > 0 klee 0x0000000000fde322 >> llvm::sys::PrintStackTrace(_IO_FILE*) + 34 >> > 1 klee 0x0000000000fdd749 >> > 2 libpthread.so.0 0x00007f91e38fecb0 >> > 3 libc.so.6 0x00007f91e2b50425 gsignal + 53 >> > 4 libc.so.6 0x00007f91e2b53b8b abort + 379 >> > 5 klee 0x0000000000f8c958 >> > 6 klee 0x0000000000f9996d >> > 7 klee 0x0000000000f71bcf >> llvm::FPPassManager::runOnFunction(llvm::Function&) + 607 >> > 8 klee 0x0000000000f71c3b >> llvm::FPPassManager::runOnModule(llvm::Module&) + 43 >> > 9 klee 0x0000000000f716d0 >> llvm::MPPassManager::runOnModule(llvm::Module&) + 688 >> > 10 klee 0x0000000000f718a5 >> llvm::PassManagerImpl::run(llvm::Module&) + 245 >> > 11 klee 0x00000000005f03cd >> llvm::Optimize(llvm::Module*) + 205 >> > 12 klee 0x00000000005ea3e2 >> klee::KModule::prepare(klee::Interpreter::ModuleOptions const&, >> klee::InterpreterHandler*) + 3666 >> > 13 klee 0x000000000059fbd6 >> klee::Executor::setModule(llvm::Module*, >> klee::Interpreter::ModuleOptions const&) + 214 >> > 14 klee 0x000000000057ed62 main + 3794 >> > 15 libc.so.6 0x00007f91e2b3b76d __libc_start_main + 237 >> > 16 klee 0x00000000005969e9 >> > Stack dump: >> > 0. Running pass 'Function Pass Manager' on module >> '/home/davis/klee/test-targets/php/sapi/cli/php.bc'. >> > 1. Running pass 'Module Verifier' on function >> '@sqlite3PagerSharedLock' >> > KLEE: watchdog exiting (no child) >> > >> > Is the problem from llvm/clang version or object itself? >> > _______________________________________________ >> > klee-dev mailing list >> > [email protected] <mailto:[email protected]> >> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >> >> >> >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
