[LLVMdev] BlockAddress instruction is copied instead of cloned during module link?

[Yuri]

BasicBlock::~BasicBlock() has the line: 
BA->replaceAllUsesWith(ConstantExpr::getIntToPtr(Replacement, 
BA->getType()));
It replaces all uses with: Constant *Replacement = 
ConstantInt::get(llvm::Type::getInt32Ty(getContext()), 1);
When it is called on link source module, BasicBlocks there are destroyed 
but their uses are in the link destination module.

Value::replaceAllUsesWith should have an assert checking if the use is 
in the same module as the current value.

Yuri