Created on 2013-09-23.00:00:00 last changed 49 months ago
[Moved to DR at the November, 2014 meeting.]
Proposed resolution (February, 2014):
Change 22.214.171.124 [expr.static.cast] paragraph 10 as follows:
A value of integral or enumeration type can be explicitly converted to an enumeration type. The value is unchanged if the original value is within the range of the enumeration values (9.7.1 [dcl.enum]). Otherwise, the
resulting value is unspecified (and might not be in that range). A value of floating-point type...
Although issue 1094 clarified that the value of an expression of enumeration type might not be within the range of the values of the enumeration after a conversion to the enumeration type (see 126.96.36.199 [expr.static.cast] paragraph 10), the result is simply an unspecified value. This should probably be strengthened to produce undefined behavior, in light of the fact that undefined behavior makes an expression non-constant. See also 11.4.10 [class.bit] paragraph 4.
|2017-02-06 00:00:00||admin||set||status: drwp -> cd4|
|2015-05-25 00:00:00||admin||set||status: dr -> drwp|
|2015-04-13 00:00:00||admin||set||messages: + msg5366|
|2014-11-24 00:00:00||admin||set||status: ready -> dr|
|2014-03-03 00:00:00||admin||set||messages: + msg4824|
|2014-03-03 00:00:00||admin||set||status: open -> ready|