[Bug c++/27961] New: [4.1/4.2 regression] ICE on invalid template declaration

[Bug c++/27961] New: [4.1/4.2 regression] ICE on invalid template declaration

[reichelt at gcc dot gnu dot org]

The following testcase causes an ICE on the 4.1 branch and mainline:

====================================
struct A
{
    template<int> void foo(X);
};
====================================

bug.cc:7: error: 'X' was not declared in this scope
bug.cc:7: error: variable or field 'foo' declared void
bug.cc:7: internal compiler error: tree check: expected var_decl, have
field_decl in cp_finish_decl, at cp/decl.c:4933
Please submit a full bug report, [etc.]

This is a very recent regression, since GCC 4.1.1 is not affected.

Mark, your patch for PR 27819 seems to have caused this:
http://gcc.gnu.org/ml/gcc-patches/2006-06/msg00198.html


-- 
           Summary: [4.1/4.2 regression] ICE on invalid template declaration
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, error-recovery, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |minor
   Target Milestone|---                         |4.1.2


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[reichelt at gcc dot gnu dot org]

------- Comment #1 from reichelt at gcc dot gnu dot org  2006-07-18 10:48 -------
Here's a testcase with a slightly different error message:

========================================
template<int> void f()(0);
========================================

bug.cc:1: error: function 'void f()' is initialized like a variable
bug.cc:1: internal compiler error: tree check: expected var_decl, have
function_decl in cp_finish_decl, at cp/decl.c:5083
Please submit a full bug report, [etc.]


-- 


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[janis at gcc dot gnu dot org]

------- Comment #2 from janis at gcc dot gnu dot org  2006-08-12 21:28 -------
A regression hunt on powerpc-linux using the testcase from the submitter's
description identified the following patch:

    http://gcc.gnu.org/viewcvs?view=rev&rev=114119

    r114119 | mmitchel | 2006-05-25 20:18:26 +0000 (Thu, 25 May 2006)


-- 


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[reichelt at gcc dot gnu dot org]

------- Comment #3 from reichelt at gcc dot gnu dot org  2006-08-14 19:06 -------
Reproduced by Janis.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-08-14 19:06:35
               date|                            |


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[lmillward at gcc dot gnu dot org]

-- 

lmillward at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |lmillward at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-08-14 19:06:35         |2006-09-23 16:28:31
               date|                            |


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[patchapp at dberlin dot org]

------- Comment #4 from patchapp at dberlin dot org  2006-09-23 16:30 -------
Subject: Bug number PR c++/27961

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-09/msg01018.html


-- 


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[lmillward at gcc dot gnu dot org]

------- Comment #5 from lmillward at gcc dot gnu dot org  2006-10-12 20:03 -------
Subject: Bug 27961

Author: lmillward
Date: Thu Oct 12 20:02:53 2006
New Revision: 117671

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117671
Log:
       PR c++/27961
       * decl.c (start_decl): Return error_mark_node if a
       function is initialized like a variable.
       (check_var_type): If a variable of field is declared void,
       set the type to error_mark_node.
       (grokdeclarator): Check the return type of check_var_type.
       * class.c (finish_struct_1): Robustify.

       * g++.dg/template/crash60.C: New test.
       * g++.dg/other/large-size-array.C: Adjust error markers.
       * g++.dg/parse/crash27.C: Likewise.
       * g++.dg/template/crash1.C: Likewise.


Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/class.c
    trunk/gcc/cp/decl.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/other/large-size-array.C
    trunk/gcc/testsuite/g++.dg/parse/crash27.C
    trunk/gcc/testsuite/g++.dg/template/crash1.C


-- 


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

[Bug c++/27961] [4.1/4.2 regression] ICE on invalid template declaration

[lmillward at gcc dot gnu dot org]

------- Comment #6 from lmillward at gcc dot gnu dot org  2006-10-12 20:06 -------
Subject: Bug 27961

Author: lmillward
Date: Thu Oct 12 20:06:36 2006
New Revision: 117672

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=117672
Log:
        PR c++/27961
        * g++.dg/template/crash60.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/template/crash60.C


-- 


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

[Bug c++/27961] [4.1 regression] ICE on invalid template declaration

[lmillward at gcc dot gnu dot org]

------- Comment #7 from lmillward at gcc dot gnu dot org  2006-10-12 20:06 -------
Fixed on mainline.


-- 

lmillward at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.1/4.2 regression] ICE on |[4.1 regression] ICE on
                   |invalid template declaration|invalid template declaration


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

[Bug c++/27961] [4.1 regression] ICE on invalid template declaration

[reichelt at gcc dot gnu dot org]

------- Comment #8 from reichelt at gcc dot gnu dot org  2006-12-11 21:00 -------
> Fixed on mainline.

Alas this is only partially true:
Although the original testcase is indeed fixed on mainline (and 4.2 branch),
the following variant (which only differs in the return type of the template
function) still crashes:

====================================
struct A
{
    template<int> int foo(X);
};
====================================

I'll open a new PR for this failure.


Btw, the testcase from comment #1 is also fixed on the 4.1 branch
(with "void" or "int" as return type).


-- 


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

[Bug c++/27961] [4.1 regression] ICE on invalid template declaration

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.2                       |4.1.3


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

[Bug c++/27961] [4.1 regression] ICE on invalid template declaration

[jsm28 at gcc dot gnu dot org]

------- Comment #9 from jsm28 at gcc dot gnu dot org  2008-07-04 15:35 -------
Closing 4.1 branch.


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to fail|                            |4.1.3
      Known to work|                            |4.2.0
         Resolution|                            |FIXED
   Target Milestone|4.1.3                       |4.2.0


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