https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81687
--- Comment #3 from Alexander Monakov <amonakov at gcc dot gnu.org> --- In this particular case we are not exactly copying the region, we are only moving (outlining) it to a separate function. We could properly remap the label. But in general GCC is indeed confused about address-taken labels when cloning code for loop unswitching or function clones: bug 80053.