[klee-dev] (no subject)

[agan Davis]

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 <paul.marinescu at imperial.ac.uk>:

> 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
>>
>>
>>
>
-------------- next part --------------
HTML attachment scrubbed and removed