[klee-dev] (no subject)

[Paul Marinescu]

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 <paul.marinescu at imperial.ac.uk
> <mailto:paul.marinescu at imperial.ac.uk>>:
>
>     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 <agandavis at gmail.com
>     <mailto:agandavis at gmail.com>> 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
>      > klee-dev at imperial.ac.uk <mailto:klee-dev at imperial.ac.uk>
>      > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>