[Bug middle-end/80053] Label with address taken should prevent duplication of containing basic block

[rguenth at gcc dot gnu.org]

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.