This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 119a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2025-12-20
[Moved to DR at the April, 2013 meeting.]
The list of cases in 13.8.3.4 [temp.dep.constexpr] paragraph 2in which anidentifier is value-dependent should alsoinclude:
an entity with reference type and is initialized withan expression that is value-dependent
a member function or a static data member of the currentinstantiation
Proposed resolution (October, 2012):
Change 13.8.3.4 [temp.dep.constexpr] paragraph 2 as followsand move the text following the bulleted list into a new paragraph:
An
identifierid-expression isvalue-dependent ifit is:
it is a name declared with a dependent type,
it is the name of a non-type template parameter,
it names a member of an unknown specialization,
it names a static data member of the current instantiationthat is not initialized in amember-declarator,
it names a static member function that is a member of thecurrent instantiation, or
it is a constant with literal type and isinitialized with an expression that is value-dependent.
Expressions of the following form...
Change 13.8.3.4 [temp.dep.constexpr] paragraph 5 as follows:
Anid-expression is value-dependent if it names a memberof an unknown specialization.An expression of the form&qualified-id where thequalified-id'snested-name-specifier names the current instantiation isvalue-dependent.