Updates the DU chain of the instruction located at loc such that there is no more reference to it so that we can remove it. When an instruction is found to be dead (i.e it has no side effect, and the register defined is not used) we have to update the DU chain of all the variabl
(graph, loc, du, ud)
source not stored for this graph (policy: none)
no test coverage detected