https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64372
Eric Fiselier <eric at efcs dot ca> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |eric at efcs dot ca
--- Comment #9 from Eric Fiselier <eric at efcs dot ca> ---
Bump. This should get fixed as it's not just wrong-code but also
accepts-invalid and rejects-valid.
The relevant wording from the standard:
C++1z [expr.cond]p2:
> (2) If either the second or the third operand has type void,
> one of the following shall hold:
> (2.1) The second or the third operand (but not both) is a
> (possibly parenthesized) throw-expression (5.17); the result
> is of the type and value category of the other.
