search

karelklic / canal

Abstract interpreter for real-world application programs
https://github.com/karelklic/canal/wiki
Other
32 stars 2 forks source link

Constructors.cpp:360(createConstantExpr) fatal error: Constant Expressions Instruction not implemented: inttoptr #170

Open xbrukner opened 11 years ago

xbrukner commented 11 years ago 
/home/xbrukner/canal/lib/Constructors.cpp:360(createConstantExpr) fatal error: Constant Expressions Instruction not implemented: inttoptr
[bt]: (1) /home/xbrukner/canal/lib/libcanal.so : Canal::Constructors::createConstantExpr(llvm::ConstantExpr const&, llvm::Value const&, Canal::State const*) const+0x409 [0x7f67b7b0fddd]
[bt]: (2) /home/xbrukner/canal/lib/libcanal.so : Canal::Constructors::create(llvm::Constant const&, llvm::Value const&, Canal::State const*) const+0x194 [0x7f67b7b0eb06]
[bt]: (3) /home/xbrukner/canal/lib/libcanal.so : Canal::Operations::variableOrConstant(llvm::Value const&, Canal::State&, llvm::OwningPtr<Canal::Domain>&) const+0x74 [0x7f67b7b3a5b2]
[bt]: (4) /home/xbrukner/canal/lib/libcanal.so : Canal::Operations::cmpOperation(llvm::CmpInst const&, Canal::State&, Canal::Domain& (Canal::Domain::*)(Canal::Domain const&, Canal::Domain const&, llvm::CmpInst::Predicate))+0xae [0x7f67b7b3a9ac]
[bt]: (5) /home/xbrukner/canal/lib/libcanal.so : Canal::Operations::icmp(llvm::ICmpInst const&, Canal::State&)+0x43 [0x7f67b7b3cd91]
[bt]: (6) /home/xbrukner/canal/lib/libcanal.so : Canal::Operations::interpretInstruction(llvm::Instruction const&, Canal::State&)+0x84 [0x7f67b7b39590]
[bt]: (7) /home/xbrukner/canal/lib/libcanal.so : Canal::Interpreter::Iterator::interpretInstruction()+0x3e [0x7f67b7b349b4]
[bt]: (8) tool/canal : State::run()+0x36 [0x4615c4]
[bt]: (9) tool/canal : CommandRun::run(std::vector<std::string, std::allocator<std::string> > const&)+0x86 [0x45acfa]
[bt]: (10) tool/canal : Commands::executeLine(std::string const&)+0x21d [0x45bd91]
[bt]: (11) tool/canal : main+0x21c [0x447f43]
[bt]: (12) /lib/x86_64-linux-gnu/libc.so.6 : __libc_start_main+0xed [0x7f67b554976d]
[bt]: (13) tool/canal() [0x447949]

http://www.fi.muni.cz/~xbrukner/integration/dd.c, http://www.fi.muni.cz/~xbrukner/integration/dd.s http://www.fi.muni.cz/~xbrukner/integration/timeout.c, http://www.fi.muni.cz/~xbrukner/integration/timeout.s http://www.fi.muni.cz/~xbrukner/integration/tee.c, http://www.fi.muni.cz/~xbrukner/integration/tee.s http://www.fi.muni.cz/~xbrukner/integration/nohup.c, http://www.fi.muni.cz/~xbrukner/integration/nohup.s