Closed
Description
The functions replaceSignedInst() and removeNonFeasibleEdges() do not propagate the debug locations to the newly created instructions.
// Wire up the new instruction and update state.
assert(NewInst && "Expected replacement instruction");
NewInst->takeName(&Inst);
InsertedValues.insert(NewInst);
Inst.replaceAllUsesWith(NewInst);
Solver.removeLatticeValueFor(&Inst);
Inst.eraseFromParent();
BranchInst::Create(OnlyFeasibleSuccessor, BB);
TI->eraseFromParent();