https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80053
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu.org --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- The question is whether the transform at hand is valid if the label is duplicated but all referers still refer to the original one (so if the label is dropped at duplication time). The current handling for cloning is certainly too conservative. Not sure if we want to extend this to can_copy_bb, it certainly would be consistent this way.