[Bug c++/64372] [DR1560] Gratuitous lvalue-to-rvalue conversion in conditional-expression with throw-expression operand

[eric at efcs dot ca]

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.