This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[C++] Unreviewed patches
- From: "Giovanni Bajo" <giovannibajo at libero dot it>
- To: <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 7 Jan 2004 21:12:02 +0100
- Subject: [C++] Unreviewed patches
Hello,
Allow 'template' within non dependent nested-specifiers:
http://gcc.gnu.org/ml/gcc-patches/2003-12/msg01698.html
A little bit of DR224
http://gcc.gnu.org/ml/gcc-patches/2003-12/msg01722.html
They both fix regressions on mainline. About the latter, I have some doubts
about its correctness mainly because there is a part of DR224 which is not
totally clear. Basically, should this be accepted?
------------------------------------
struct B {
typedef int K;
};
template <class T> struct D : T {
typedef typename D::K K2;
};
------------------------------------
I added a hunk specifically to make this valid, but now I'm not sure anymore
about it. The point is that, after DR224, D::K is not a dependent name anymore,
so the lookup has to be done at point of definition, AFAICT. Can any language
lawyer confirm this? I tried comp.std.c++ with no success.
Giovanni Bajo