https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80053
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
That is not true, even RTL is moving such labels around, we have
NOTE_DELETED_LABEL for that after all.
The &&label extension has been added for computed goto and from the beginning
if the optimizers managed to optimize away all computed gotos that could jump
to a particular label it has been desirable that such left over labels aren't
optimization barriers.
