[klee-dev] APint::udiv assertion fails

[Dingbao Xie]

Hi, everyone
I encountered an assertion failure when trying to test grep with klee.
The complete stack trace is shown below:

klee: /home/software/llvm-3.4/lib/Support/APInt.cpp:1847: llvm::APInt
llvm::APInt::udiv(const llvm::APInt&) const: Assertion `RHS.VAL != 0 &&
"Divide by zero?"' failed.
0  libLLVM-3.4.so  0x00007f1353c89162 llvm::sys::PrintStackTrace(_IO_FILE*)
+ 34
1  libLLVM-3.4.so  0x00007f1353c88d84
2  libpthread.so.0 0x00007f1352e9c340
3  libc.so.6       0x00007f1351f7bbb9 gsignal + 57
4  libc.so.6       0x00007f1351f7efc8 abort + 328
5  libc.so.6       0x00007f1351f74a76
6  libc.so.6       0x00007f1351f74b22
7  libLLVM-3.4.so  0x00007f1353c4be85 llvm::APInt::udiv(llvm::APInt const&)
const + 709
8  libLLVM-3.4.so  0x00007f1353c4c7ce llvm::APInt::sdiv(llvm::APInt const&)
const + 526
9  klee            0x00000000004ca01e
klee::ConstantExpr::SDiv(klee::ref<klee::ConstantExpr> const&) + 30
10 klee            0x00000000004cc5dd
klee::SDivExpr::create(klee::ref<klee::Expr> const&, klee::ref<klee::Expr>
const&) + 109
11 klee            0x000000000045bc78
klee::Executor::executeInstruction(klee::ExecutionState&,
klee::KInstruction*) + 4952
12 klee            0x000000000045f826
klee::Executor::run(klee::ExecutionState&) + 1654
13 klee            0x00000000004600a1
klee::Executor::runFunctionAsMain(llvm::Function*, int, char**, char**) +
1633
14 klee            0x00000000004406b3 main + 10243
15 libc.so.6       0x00007f1351f66ec5 __libc_start_main + 245
16 klee            0x0000000000447230
Aborted (core dumped)

Any suggestion to get around this failure?
-- 
Dingbao Xie
-------------- next part --------------
HTML attachment scrubbed and removed