Re: c++/9252: [3.4 regression][New parser] Errors due to legally used "typename"

Re: c++/9252: [3.4 regression][New parser] Errors due to legally used "typename"

[lerdsuwa]

Synopsis: [3.4 regression][New parser] Errors due to legally used "typename"

State-Changed-From-To: analyzed->closed
State-Changed-By: lerdsuwa
State-Changed-When: Sat May 10 12:17:54 2003
State-Changed-Why:
    Fixed in the main trunk.

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

Re: c++/9252: [3.4 regression][New parser] Errors due to legally used "typename"

[Kriang Lerdsuwanakij]

The following reply was made to PR c++/9252; it has been noted by GNATS.

From: Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
To: gcc-gnats@gcc.gnu.org, gcc-bugs@gcc.gnu.org, lerdsuwa@gcc.gnu.org,
        bangerth@ices.utexas.edu, gcc-prs@gcc.gnu.org
Cc:  
Subject: Re: c++/9252: [3.4 regression][New parser] Errors due to legally
 used "typename"
Date: Tue, 15 Apr 2003 17:59:48 +0700

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9252
 
 Updated patch submitted:
 
 	http://gcc.gnu.org/ml/gcc-patches/2003-04/msg01106.html
 

Re: c++/9252: [3.4 regression][New parser] Errors due to legally used "typename"

[Kriang Lerdsuwanakij]

The following reply was made to PR c++/9252; it has been noted by GNATS.

From: Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
To: gcc-gnats@gcc.gnu.org, gcc-bugs@gcc.gnu.org, lerdsuwa@gcc.gnu.org,
        bangerth@ticam.utexas.edu, gcc-prs@gcc.gnu.org
Cc:  
Subject: Re: c++/9252: [3.4 regression][New parser] Errors due to legally
 used "typename"
Date: Mon, 20 Jan 2003 18:34:00 +0700

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9252
 
 Patch submitted:
    http://gcc.gnu.org/ml/gcc-patches/2003-01/msg01293.html
 
 This testcase will be committed together with the patch.
 
 --Kriang
 

Re: c++/9252: [3.4 regression][New parser] Errors due to legally used "typename"

[lerdsuwa]

Synopsis: [3.4 regression][New parser] Errors due to legally used "typename"

Responsible-Changed-From-To: unassigned->lerdsuwa
Responsible-Changed-By: lerdsuwa
Responsible-Changed-When: Fri Jan 10 05:55:13 2003
Responsible-Changed-Why:
    Will work on a fix.
State-Changed-From-To: open->analyzed
State-Changed-By: lerdsuwa
State-Changed-When: Fri Jan 10 05:55:13 2003
State-Changed-Why:
    Confirmed.

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

c++/9252: [3.4 regression][New parser] Errors due to legally used "typename"

[bangerth]

>Number:         9252
>Category:       c++
>Synopsis:       [3.4 regression][New parser] Errors due to legally used "typename"
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Jan 09 11:16:01 PST 2003
>Closed-Date:
>Last-Modified:
>Originator:     Wolfgang Bangerth
>Release:        unknown-1.0
>Organization:
>Environment:
3.4 since new parser merge
>Description:
This code
---------------------------
class O {
    struct I { I (int); };

    template <class T_>
    friend typename O::I f ();
};

template <class T_>
typename O::I f () { return 1; };

struct X {
    void g() { f<int>(); }
};
----------------------------------
used to compile until 3.3, but with the new parser I get
tmp/g> /home/bangerth/bin/gcc-3.4-pre/bin/gcc -c x.cc
x.cc:2: error: `struct O::I' is private
x.cc:9: error: within this context
x.cc:2: error: `struct O::I' is private
x.cc:9: error: within this context

The message is clearly wrong, and furthermore goes away
if the "typename" is removed in the two places where it is
not necessary! Weird, and not very helpful to find the
real cause of the problem.

On the other hand, Gaby pointed out the right place in the
standard that seems to indicate the validity of the use
of "typename" here:
| > 14.6/5:
| >
| >   The keyword typename shall only be used in template declarations and
| >   definitions, including in the return type of a function template or
| >   member function template, in the return type for the definition of a
| >   member function of a class template or of a class nested within a
| >   class template, and in the type-specifier for the def-inition of a
| >   static member of a class template or of a class nested within a
| >   class template. The keyword typename shall only be applied to
| >   qualified names, but *those names need not be dependent*. [...]

>How-To-Repeat:

>Fix:

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