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
