[Bug c++/31267] New: #'typename_type' not supported by dump_decl#<declaration error>

[Bug c++/31267] New: #'typename_type' not supported by dump_decl#<declaration error>

[guillaume dot melquiond at ens-lyon dot fr]

This wrong code (missing typename):

  template<class T>
  struct A
  {
    typedef typename T::B C;
    void f(C::D x);
  };

gives the following error message:

  a.cpp:5: error: '#'typename_type' not supported by dump_decl#<declaration
error>::D' is not a type

instead of "'C::D' is not a type".


-- 
           Summary: #'typename_type' not supported by dump_decl#<declaration
                    error>
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: guillaume dot melquiond at ens-lyon dot fr


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

[Bug c++/31267] #'typename_type' not supported by dump_decl#<declaration error>

[guillaume dot melquiond at ens-lyon dot fr]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 733 bytes --]



------- Comment #1 from guillaume dot melquiond at ens-lyon dot fr  2007-03-20 11:22 -------
I just encountered another instance of a missing typename diagnostic. This time
with a different message, so I add it here for completeness:

a.cpp:5: error: dependent-name ‘T::#‘typename_type’ not supported by
pp_cxx_unqualified_id#::D’ is parsed as a non-type, but instantiation yields a
type
a.cpp:5: note: say ‘typename T::#‘typename_type’ not supported by
pp_cxx_unqualified_id#::D’ if a type is meant

Testcase:

template<class T>
struct A
{
  typedef typename T::B C;
  void f() { C::D(); }
};

struct U
{
  struct B { struct D {}; };
};

void g() { A<U>().f(); }


-- 


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

[Bug c++/31267] #'typename_type' not supported by dump_decl#<declaration error>

[pcarlini at suse dot de]

------- Comment #2 from pcarlini at suse dot de  2007-03-20 11:45 -------
Related to C++/30982?


-- 


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

[Bug c++/31267] #'typename_type' not supported by dump_decl#<declaration error>

[gdr at cs dot tamu dot edu]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 834 bytes --]



------- Comment #3 from gdr at cs dot tamu dot edu  2007-03-22 15:29 -------
Subject: Re:  #'typename_type' not supported by dump_decl#<declaration error>

"guillaume dot melquiond at ens-lyon dot fr" <gcc-bugzilla@gcc.gnu.org> writes:

| I just encountered another instance of a missing typename diagnostic. This
time
| with a different message, so I add it here for completeness:
| 
| a.cpp:5: error: dependent-name ‘T::#‘typename_type’ not supported by
| pp_cxx_unqualified_id#::DÂ’ is parsed as a non-type, but instantiation yields
a
| type
| a.cpp:5: note: say ‘typename T::#‘typename_type’ not supported by
| pp_cxx_unqualified_id#::DÂ’ if a type is meant

I have a fix for this one.  
It is not the same issue as your original report.

-- Gaby


-- 


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

[Bug c++/31267] #'typename_type' not supported by dump_decl#<declaration error>

[gdr at gcc dot gnu dot org]

------- Comment #4 from gdr at gcc dot gnu dot org  2007-03-23 03:04 -------
ttp://gcc.gnu.org/ml/gcc-patches/2007-03/msg01513.html


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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