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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
