[Bug c++/11907] New: ICE on illegal code: using a class template instead of a class

[Bug c++/11907] New: ICE on illegal code: using a class template instead of a class

[o dot kullmann at swansea dot ac dot uk]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: ICE on illegal code: using a class template instead of a
                    class
           Product: gcc
           Version: 3.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: o dot kullmann at swansea dot ac dot uk
                CC: gcc-bugs at gcc dot gnu dot org

namespace N { template <class T> struct X {}; } 
template <class T> struct Y { typedef typename N::X tag; }; 
int main() { Y<int> y; } 
 
compiled without options yields: 
internal compiler error: Segmentation fault 
 
Tried: Versions 3.2.1, 3.3, 3.3.1 --- all identical.

[Bug c++/11907] ICE on illegal code: using a class template instead of a class

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
           Keywords|                            |ice-on-invalid-code
         Resolution|                            |FIXED
   Target Milestone|3.4                         |3.3.2


------- Additional Comments From pinskia at gcc dot gnu dot org  2003-08-13 18:34 -------
I can confirm this on 3.3.1 (20030707).

The mainline produces an error:
pr11907.cc:2: error: no class template named `X' in `N'
pr11907.cc:2: error: ISO C++ forbids declaration of `tag' with no type

I am closing as I see this a progression rather than a regression as 2.95.3 accepted this code.

[Bug c++/11907] ICE on illegal code: using a class template instead of a class

[pinskia at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.3.2                       |3.4

[Bug c++/11907] confusing message when using a class template instead of a class

[bangerth at dealii dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gdr at gcc dot gnu dot org
             Status|RESOLVED                    |UNCONFIRMED
           Keywords|ice-on-invalid-code         |diagnostic
         Resolution|FIXED                       |
            Summary|ICE on illegal code: using a|confusing message when using
                   |class template instead of a |a class template instead of
                   |class                       |a class


------- Additional Comments From bangerth at dealii dot org  2003-08-13 18:59 -------
Wait, let's reopen the bug: the error message is profoundly wrong: it says 
   x.cc:2: error: no class template named `X' in `N' 
but really there _is_ a class template names 'X' and we access it as if it were 
a type-name. I'd say the message is really confusing. 
 
W.

[Bug c++/11907] confusing message when using a class template instead of a class

[bangerth at dealii dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2003-08-13 19:00:09
               date|                            |

[Bug c++/11907] confusing message when using a class template instead of a class

[dhazeghi at yahoo dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


dhazeghi at yahoo dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4                         |---

[Bug c++/11907] confusing message when using a class template instead of a class

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement


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

[Bug c++/11907] [3.4 only] confusing message when using a class template instead of a class

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-04-18 03:54 -------
The mainline gives so it is at least fixed there:
pr11907.cc:2: error: invalid use of template-name `N::X' without an argument list
pr11907.cc:2: error: ISO C++ forbids declaration of `tag' with no type

Could someone check the 3.4 branch?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |3.5.0
   Last reconfirmed|2003-11-21 16:50:51         |2004-04-18 03:54:12
               date|                            |
            Summary|confusing message when using|[3.4 only] confusing message
                   |a class template instead of |when using a class template
                   |a class                     |instead of a class
   Target Milestone|---                         |3.4.1


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

[Bug c++/11907] [3.4 only] confusing message when using a class template instead of a class

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-04-18 18:06 -------
The 3.4 branch as of 20040402 still shows the old message, while 
mainline as of the same day showed what Andrew had. 
 
W. 

-- 


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

[Bug c++/11907] [3.4 only] confusing message when using a class template instead of a class

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-04-19 00:44 -------
The error message was improved by a patch of mines, namely for PR c++/14008:
http://gcc.gnu.org/ml/gcc-patches/2004-02/msg00381.html

In the followup, Mark approved it but only for mainline. Unless you want to 
reiterate a request to have this backported to 3.4.0, the bug should be closed.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |giovannibajo at libero dot
                   |                            |it


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

[Bug c++/11907] [3.4 only] confusing message when using a class template instead of a class

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-04-19 01:21 -------
There are more important bugs. In particular, since we already have 
some improvement: 2.95 silently accepted the code, 3.2 ICEd. 
 
So let's close it. 
 
W. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|3.4.1                       |3.5.0


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