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 ]