karelklic / canal

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

Unexpected different types in a pointer merge #56

Closed xbrukner closed 12 years ago

xbrukner commented 12 years ago
[bt]: (1) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Pointer::InclusionBased::merge(Canal::Domain const&)+0x41 [0x1e0433]
[bt]: (2) /home/tomas/projekty/canal/lib/libcanal.so : +0xd9646 [0x1e9646]
[bt]: (3) /home/tomas/projekty/canal/lib/libcanal.so : Canal::State::merge(Canal::State const&)+0x2a [0x1e969e]
[bt]: (4) /home/tomas/projekty/canal/lib/libcanal.so : Canal::InterpreterBlock::OperationsCallback::onFunctionCall(llvm::Function const&, Canal::State const&, Canal::State&, llvm::Value const&)+0x27e [0x1d668c]
[bt]: (5) /home/tomas/projekty/canal/lib/libcanal.so : void Canal::Operations::interpretCall<llvm::CallInst>(llvm::CallInst const&, Canal::State&)+0x264 [0x1dda2c]
[bt]: (6) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Operations::call(llvm::CallInst const&, Canal::State&)+0x2b [0x1da54d]
[bt]: (7) /home/tomas/projekty/canal/lib/libcanal.so : Canal::Operations::interpretInstruction(llvm::Instruction const&, Canal::State&)+0x44 [0x1d6822]
[bt]: (8) /home/tomas/projekty/canal/lib/libcanal.so : Canal::InterpreterBlock::Iterator::interpretInstruction()+0x3f [0x1cff15]
[bt]: (9) /home/tomas/projekty/canal/tool/canal : State::run()+0x2e [0x80713f6]
[bt]: (10) /home/tomas/projekty/canal/tool/canal : CommandContinue::run(std::vector<std::string, std::allocator<std::string> > const&)+0x69 [0x8067b95]
[bt]: (11) /home/tomas/projekty/canal/tool/canal : Commands::executeLine(std::string const&)+0x222 [0x806ec32]
[bt]: (12) /home/tomas/projekty/canal/tool/canal : main+0x24f [0x8065a33]
[bt]: (13) /lib/i386-linux-gnu/libc.so.6 : __libc_start_main+0xf3 [0x3ab4d3]
[bt]: (14) /home/tomas/projekty/canal/tool/canal() [0x8065451]
%44 = bitcast i32* %43 to i8*
%45 = call i8* @x2nrealloc(i8* %44, i32* %n_gids_allocated, i32 4)

File tests/coreutils/chroot.c

karelklic commented 12 years ago
Pointer.cpp:226(merge) assert failed: Unexpected different types in a pointer merge (i8* != i8) [&vv.mType == &mType]