https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80053
--- Comment #3 from Alexander Monakov <amonakov at gcc dot gnu.org> --- ... unless labels are intended to act similar to non-static function-scope variables, with computed address usable only until the containing function returns? Except when used in static initializers, which makes them act as if their addresses were constant expressions? (still, if the this testcase is deemed invalid, the original issue remains)