https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85780
--- Comment #2 from kargl at gcc dot gnu.org --- (In reply to kargl from comment #1) > HOwever, I think we then have an accepts invalid as an alternate > return takes a label. Whoops, I may have misread the standard. The label applies to the actual argument. A dummy argument of '*' alone signifies an alternate return, the patch in #1 indeed fixes the issue.