Pointer.cpp:182(dereferenceAndMerge) assert failed: source

[xbrukner]

/home/tomas/projekty/canal/lib/Pointer.cpp:182(dereferenceAndMerge) assert failed: source
[bt]: (1) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Pointer::Pointer::dereferenceAndMerge(Canal::State const&) const+0x8e [0x40101780]
[bt]: (2) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Operations::load(llvm::LoadInst const&, Canal::State&)+0x55 [0x400fa545]
[bt]: (3) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Operations::interpretInstruction(llvm::Instruction const&, Canal::State&)+0x749 [0x400f7873]
[bt]: (4) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Interpreter::Iterator::interpretInstruction()+0x3f [0x400f2fa5]
[bt]: (5) /home/tomas/projekty/canal/tool/canal : State::run()+0x2e [0x80cb1de]
[bt]: (6) /home/tomas/projekty/canal/tool/canal : CommandRun::run(std::vector<std::string, std::allocator<std::string> > const&)+0x7b [0x80c5527]
[bt]: (7) /home/tomas/projekty/canal/tool/canal : Commands::executeLine(std::string const&)+0x1c2 [0x80c62f0]
[bt]: (8) /home/tomas/projekty/canal/tool/canal : main+0x139 [0x80b487d]
[bt]: (9) /lib/i386-linux-gnu/libc.so.6 : __libc_start_main+0xf3 [0x404324d3]
[bt]: (10) /home/tomas/projekty/canal/tool/canal() [0x80b43b5]

Files: http://www.fi.muni.cz/~xbrukner/integration/printf.c, http://www.fi.muni.cz/~xbrukner/integration/printf.s http://www.fi.muni.cz/~xbrukner/integration/tac.c, http://www.fi.muni.cz/~xbrukner/integration/tac.s http://www.fi.muni.cz/~xbrukner/integration/stdbuf.c, http://www.fi.muni.cz/~xbrukner/integration/stdbuf.s http://www.fi.muni.cz/~xbrukner/integration/shred.c, http://www.fi.muni.cz/~xbrukner/integration/shred.s http://www.fi.muni.cz/~xbrukner/integration/head.c, http://www.fi.muni.cz/~xbrukner/integration/head.s http://www.fi.muni.cz/~xbrukner/integration/paste.c, http://www.fi.muni.cz/~xbrukner/integration/paste.s http://www.fi.muni.cz/~xbrukner/integration/fmt.c, http://www.fi.muni.cz/~xbrukner/integration/fmt.s