search

karelklic / canal

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

Constructors.cpp:156(create) assert failed: It is expected that variable used in constant expressions is available. #133

Closed xbrukner closed 11 years ago

xbrukner commented 11 years ago 
/home/tomas/projekty/canal/lib/Constructors.cpp:156(create) assert failed: It is expected that variable used in constant expressions is available.
Missing: "i32 1"
In "void (i32)* inttoptr (i32 1 to void (i32)*)"
On line "  %13 = icmp ne void (i32)* %12, inttoptr (i32 1 to void (i32)*)" [variable]
[bt]: (1) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Constructors::create(llvm::Constant const&, llvm::Value const&, Canal::State const*) const+0x2c8 [0x400d5afc]
[bt]: (2) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Operations::variableOrConstant(llvm::Value const&, Canal::State&, llvm::Instruction const&, llvm::OwningPtr<Canal::Domain>&) const+0x6f [0x400f8129]
[bt]: (3) /home/tomas/projekty/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))+0xb9 [0x400f84f9]
[bt]: (4) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Operations::icmp(llvm::ICmpInst const&, Canal::State&)+0x3d [0x400fb003]
[bt]: (5) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Operations::interpretInstruction(llvm::Instruction const&, Canal::State&)+0x7a [0x400f71a4]
[bt]: (6) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Interpreter::Iterator::interpretInstruction()+0x3f [0x400f2fa5]
[bt]: (7) /home/tomas/projekty/canal/tool/canal : State::run()+0x2e [0x80cb1de]
[bt]: (8) /home/tomas/projekty/canal/tool/canal : CommandRun::run(std::vector<std::string, std::allocator<std::string> > const&)+0x7b [0x80c5527]
[bt]: (9) /home/tomas/projekty/canal/tool/canal : Commands::executeLine(std::string const&)+0x1c2 [0x80c62f0]
[bt]: (10) /home/tomas/projekty/canal/tool/canal : main+0x139 [0x80b487d]
[bt]: (11) /lib/i386-linux-gnu/libc.so.6 : __libc_start_main+0xf3 [0x404324d3]
[bt]: (12) /home/tomas/projekty/canal/tool/canal() [0x80b43b5]

Files: 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/sum.c, http://www.fi.muni.cz/~xbrukner/integration/sum.s

xbrukner commented 11 years ago

This bug is now also in nohup.