[Bug c++/22154] New: [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[Bug c++/22154] New: [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

The following should compile according to this DR report (but it is only in ready state so I am going to 
confirm it and then suspend it):
class a {};
typename ::a f();

Also the following should not compile as a is not qualified then:
class a {};
typename a f();

-- 
           Summary: [DR 382] qualified names should allow typename keyword
                    in front of it (even in non-templates)
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 04:27 -------
Confirmed, to ...

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to fail|                            |2.95.3 3.3.5 4.0.0
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-23 04:27:34
               date|                            |


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 04:28 -------
Suspend this as it only in the ready state.

-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 05:05 -------
Oh and I thought I saw a bug or two about this before.

-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2005-06-23 14:58 -------
Subject: Re:  New: [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

"pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| The following should compile according to this DR report (but it is only in ready state so I am going to 
| confirm it and then suspend it):
| class a {};
| typename ::a f();
| 
| Also the following should not compile as a is not qualified then:
| class a {};
| typename a f();

If that is what the DR says, then the DR does not make any sense...

-- Gaby


-- 


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

Re: [Bug c++/22154] New: [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[Gabriel Dos Reis]

"pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| The following should compile according to this DR report (but it is only in ready state so I am going to 
| confirm it and then suspend it):
| class a {};
| typename ::a f();
| 
| Also the following should not compile as a is not qualified then:
| class a {};
| typename a f();

If that is what the DR says, then the DR does not make any sense...

-- Gaby

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 15:04 -------
(In reply to comment #4)
> If that is what the DR says, then the DR does not make any sense...
Hey I am just reading what it says:
<http://www.open-std.org/JTC1/SC22/WG21/docs/cwg_active.html#382>.

DR 468 is about allowing ::template outside of templates.

I am not making this up.

-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[gdr at integrable-solutions dot net]

------- Additional Comments From gdr at integrable-solutions dot net  2005-06-23 18:13 -------
Subject: Re:  [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

"pinskia at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org> writes:

| ------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-23 15:04 -------
| (In reply to comment #4)
| > If that is what the DR says, then the DR does not make any sense...
| Hey I am just reading what it says:
| <http://www.open-std.org/JTC1/SC22/WG21/docs/cwg_active.html#382>.
| 
| DR 468 is about allowing ::template outside of templates.
| 
| I am not making this up.

I'm not saying you're making it up.  It just strikes me that the new
"subtlities" don't make much sense.

-- Gaby


-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |SUSPENDED


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2005-11-11 16:40 -------
This was voted into WP at the October 2005 meeting.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|SUSPENDED                   |NEW
   Last reconfirmed|2005-09-30 05:18:43         |2005-11-11 16:40:28
               date|                            |


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2007-11-08 20:31 -------
I am going to work on this one.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Comment #9 from pinskia at gcc dot gnu dot org  2008-01-03 17:46 -------
I do have a correct patch which I will submit when stage1 comes around.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |33702
              nThis|                            |


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[manu at gcc dot gnu dot org]

------- Comment #10 from manu at gcc dot gnu dot org  2008-08-13 10:30 -------
Andrew, update on this? Stage1 is closing soon...


-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Comment #11 from pinskia at gcc dot gnu dot org  2008-08-13 20:59 -------
(In reply to comment #10)
> Andrew, update on this? Stage1 is closing soon...

To some extent this is a bug fix so it can go while in stage3.  I will try to
get a patch going this weekend.  Since I have to dig through the PS3 GCC
sources, it is slightly harder but I should be able to find it easily.


-- 


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[bonzini at gnu dot org]

------- Comment #12 from bonzini at gnu dot org  2009-05-15 10:08 -------
Andrew, any news?


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bonzini at gnu dot org


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Comment #14 from pinskia at gcc dot gnu dot org  2009-07-13 16:16 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.5.0


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

[Bug c++/22154] [DR 382] qualified names should allow typename keyword in front of it (even in non-templates)

[pinskia at gcc dot gnu dot org]

------- Comment #13 from pinskia at gcc dot gnu dot org  2009-07-13 16:16 -------
Subject: Bug 22154

Author: pinskia
Date: Mon Jul 13 16:15:55 2009
New Revision: 149590

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=149590
Log:
2009-07-13  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR C++/22154
        * parser.c (cp_parser_elaborated_type_specifier): Accept typename in
        front of qualified names.

2009-07-13  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR C++/22154
        * g++.old-deja/g++.pt/typename10.C: Update for DR 382, typename in
        front of qualified names are allowed.
        * g++.dg/parse/crash10.C: Likewise.
        * g++.dg/parse/error15.C: Likewise.
        * g++.dg/parse/typename9.C: Likewise.
        * g++.dg/parse/error8.C: Likewise.


Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/parse/crash10.C
    trunk/gcc/testsuite/g++.dg/parse/error15.C
    trunk/gcc/testsuite/g++.dg/parse/error8.C
    trunk/gcc/testsuite/g++.dg/parse/typename9.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/typename10.C


-- 


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