[Bug c++/32066] New: member/type lookup doesn't work properly with templates

[andrew dot stubbs at st dot com]

The following is adapted from the example from the C++ standard, clause 14.6/4
(actually it's the updated version from DR345):

      1     struct A {
      2       struct X { };
      3       static int X; 
      4     } ; 
      5     template<class T> void f(T t) {
      6       typename T::X x;  // invalid
      7       T::X y;           // invalid
      8       int z = T::X;     // OK
      9     }
     10     void foo() {
     11       A a;   
     12       f(a);  // error: T::X refers to the data member A::X not 
     13              // the struct A::X.
     14     }

I've removed the `B' class from the example, made A::X static (so that T::X may
be used to reference it), and added lines 7 and 8. According to the standard,
clause 14.6/4, all the `T::X' should find the data member X, *not* the type
member X, regardless of the `typename' keyword.

In this case, however, GCC 4.1.1 has not done this, and gives the following
diagnostics:

t.cxx: In function ‘void f(T)’:
t.cxx:7: error: expected `;' before ‘y’

Line 6 has been compiled OK; `T::X' has found the type.
Line 7 has been rejected correctly; `T::X' has not found a type, which means
the `typename' keyword in line 6 was significant.
Line 8 has been compiled correctly; `T::X' has found the data member.


-- 
           Summary: member/type lookup doesn't work properly with templates
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: andrew dot stubbs at st dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32066