Re: c++/9849: malformed template typename produces strange diagnostic

Re: c++/9849: malformed template typename produces strange diagnostic

[bangerth]

Synopsis: malformed template typename produces strange diagnostic

State-Changed-From-To: open->analyzed
State-Changed-By: bangerth
State-Changed-When: Wed Feb 26 17:06:02 2003
State-Changed-Why:
    Confirmed. 3.4 spits out another set of messages:
    g/x> /home/bangerth/bin/gcc-3.4-pre/bin/c++ -c x.cc
    x.cc:8: error: variable or field `foo' declared void
    x.cc:8: error: template declaration of `int foo'
    x.cc:8: error: expected `('
    x.cc:8: error: expected primary-expression
    x.cc:8: error: expected primary-expression
    x.cc:8: error: expected expected `;'
    
    They are so far off the true reason that I consider this
    a bug.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9849

c++/9849: malformed template typename produces strange diagnostic

[zak]

>Number:         9849
>Category:       c++
>Synopsis:       malformed template typename produces strange diagnostic
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Feb 25 15:46:00 UTC 2003
>Closed-Date:
>Last-Modified:
>Originator:     zak@transversal.com
>Release:        unknown-1.0
>Organization:
>Environment:
Debian (unstable); locally-compiled gcc 3.2.1
>Description:
The following code produces the error:

test.cc:8: sorry, not implemented: `tree_vec' not supported by dump_expr

which isn't very helpful -- the problem is in fact a missing "template" keyword before C2<U>.


template<class T> struct C1
{
  template<class U> struct C2
  { class Type { }; };
};

template<class T, class U>
void foo(typename C1<T>::C2<U>::Type *) { }
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: