https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85159
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> But is this really valid code?
No.
"A label (9.1) declared in a substatement of a constexpr if
statement shall only be referred to by a statement (9.6.4) in the same
substatement."
