Topic: Defect report: missing cases from value-dependence


Author: "Richard Smith"<richard@metafoo.co.uk>
Date: Tue, 8 Nov 2011 11:31:34 -0800 (PST)
Raw View
Hi,

[temp.dep.expr]/3 is missing some cases which should be value-dependent but
are not considered to be. The implementation in clang adds the following to
the list of bullets in that paragraph:

[An identifier is value-dependent if it is: ...]
  - an entity with reference type and is initialized with an expression that is
value-dependent
  - a member function or a static data member of the current instantiation

--
Richard


[ comp.std.c++ is moderated.  To submit articles, try posting with your ]
[ newsreader.  If that fails, use mailto:std-cpp-submit@vandevoorde.com ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html                      ]




Author: =?ISO-8859-1?Q?Daniel_Kr=FCgler?=<daniel.kruegler@googlemail.com>
Date: Fri, 11 Nov 2011 13:04:05 -0800 (PST)
Raw View
Am 08.11.2011 20:31, schrieb Richard Smith:
>  Hi,
>
>  [temp.dep.expr]/3 is missing some cases which should be value-dependent but
>  are not considered to be. The implementation in clang adds the following to
>  the list of bullets in that paragraph:
>
>  [An identifier is value-dependent if it is: ...]
>     - an entity with reference type and is initialized with an expression that is
>  value-dependent
>     - a member function or a static data member of the current instantiation

Forwarded to CWG.

Greetings from Bremen,

Daniel Kr   gler



--
[ comp.std.c++ is moderated.  To submit articles, try posting with your ]
[ newsreader.  If that fails, use mailto:std-cpp-submit@vandevoorde.com ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html                      ]