This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 110b. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2023-01-15


1843. Bit-field in conditional operator with throw operand

Section: 7.6.16  [expr.cond]     Status: CD4     Submitter: Richard Smith     Date: 2014-01-25

[Moved to DR at the November, 2014 meeting.]

Presumably the result of something like

    b ? x : throw y

is a bit-field if x is, but the current wording does not say that.

Proposed resolution (February, 2014):

Change 7.6.16 [expr.cond] paragraph 2 as follows (this assumes the revised wording of the resolution of issue 1299 as the base text):

If either the second or the third operand has type void, one of the following shall hold: