https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124533
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The attribute in this case is applying to the label rather the next statement. A semicolon after the label fixes that. Ambiguity. Also gcc almost never errors out if an attribute does not applies. E.g musttail on say a variable.
