- /* TODO: we should probably create a new entity. But we somehow have to
- * patch the stuff at the same time */
- new_node->attr.block.entity = NULL;
- new_node->attr.block.phis = NULL;
+ /* It should be safe to copy the entity here, as it has no back-link to the old block.
+ * It serves just as a label number, so copying a labeled block results in an exact copy.
+ * This is at least what we need for DCE to work. */
+ new_node->attr.block.entity = old_node->attr.block.entity;
+ new_node->attr.block.phis = NULL;