This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/80053] Label with address taken should prevent duplication of containing basic block
- From: "rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 16 Mar 2017 15:05:05 +0000
- Subject: [Bug middle-end/80053] Label with address taken should prevent duplication of containing basic block
- Auto-submitted: auto-generated
- References: <bug-80053-4@http.gcc.gnu.org/bugzilla/>
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.