[klee-dev] (no subject)

[agan Davis]

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