[Bug c++/27668] New: [4.0/4.1/4.2 regression] ICE with invalid template parameter

[Bug c++/27668] New: [4.0/4.1/4.2 regression] ICE with invalid template parameter

[reichelt at gcc dot gnu dot org]

The following invalid code snippet triggers an ICE since GCC 3.4.0:

==================================================
template<typename class T, T = T()> struct A {};

template<int> void foo(A<int>);
==================================================

bug.cc:1: error: expected nested-name-specifier before 'class'
bug.cc:1: error: two or more data types in declaration of 'parameter'
bug.cc:1: error: 'struct T' is not a valid type for a template constant
parameter
bug.cc:3: error: type/value mismatch at argument 1 in template parameter list
for 'template<int <anonymous>, void <anonymous> > struct A'
bug.cc:3: error:   expected a constant of type 'int', got 'int'
bug.cc:3: internal compiler error: in value_dependent_expression_p, at
cp/pt.c:12489
Please submit a full bug report, [etc.]


-- 
           Summary: [4.0/4.1/4.2 regression] ICE with invalid template
                    parameter
           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=27668

[Bug c++/27668] [4.0/4.1/4.2 regression] ICE with invalid template parameter

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor
   Target Milestone|---                         |4.0.4


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

[Bug c++/27668] [4.0/4.1/4.2 regression] ICE with invalid template parameter

[bangerth at dealii dot org]

------- Comment #1 from bangerth at dealii dot org  2006-05-26 15:06 -------
Confirmed.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-26 15:06:09
               date|                            |


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

[Bug c++/27668] [4.0/4.1/4.2 regression] ICE with invalid template parameter

[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=27668

[Bug c++/27668] [4.0/4.1/4.2 regression] ICE with invalid template parameter

[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=27668

[Bug c++/27668] [4.0/4.1/4.2 regression] ICE with invalid template parameter

[patchapp at dberlin dot org]

------- Comment #2 from patchapp at dberlin dot org  2006-07-20 17:40 -------
Subject: Bug number PR c++/27668

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-07/msg00868.html


-- 


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

[Bug c++/27668] [4.0/4.1/4.2 regression] ICE with invalid template parameter

[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-05-26 15:06:09         |2006-07-26 18:04:00
               date|                            |


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

[Bug c++/27668] [4.0/4.1/4.2 regression] ICE with invalid template parameter

[patchapp at dberlin dot org]

------- Comment #3 from patchapp at dberlin dot org  2006-07-26 23:35 -------
Subject: Bug number PR c++/27668

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-07/msg01130.html


-- 


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

[Bug c++/27668] [4.0/4.1/4.2 regression] ICE with invalid template parameter

[lmillward at gcc dot gnu dot org]

------- Comment #4 from lmillward at gcc dot gnu dot org  2006-07-28 17:01 -------
Subject: Bug 27668

Author: lmillward
Date: Fri Jul 28 17:01:19 2006
New Revision: 115800

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115800
Log:
        PR c++/27668
        PR c++/27962
        * pt.c (process_template_parm) Store invalid template
        parameters as error_mark_node in the paramater list.
        (push_inline_template_parms_recursive): Handle invalid
        template parameters.
        (comp_template_parms): Likewise.
        (check_default_tmpl_arg): Likewise.
        (coerce_template_template_parms): Likewise.
        (mangle_class_name_for_template): Likewise.
        (tsubst_template_parms): Likewise.
        * error.c (dump_template_argument_list): Likewise.

        * g++.dg/template/crash55.C: New test.
        * g++.dg/template/nontype16.C: New test.
        * g++.dg/template/void2.C: Adjust error markers.
        * g++.dg/template/nontype5.C: Adjust error markers.


Added:
    trunk/gcc/testsuite/g++.dg/template/crash55.C
    trunk/gcc/testsuite/g++.dg/template/nontype16.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/error.c
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/template/nontype5.C
    trunk/gcc/testsuite/g++.dg/template/void2.C


-- 


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

[Bug c++/27668] [4.0/4.1 regression] ICE with invalid template parameter

[lmillward at gcc dot gnu dot org]

------- Comment #5 from lmillward at gcc dot gnu dot org  2006-07-28 17:02 -------
Fixed on mainline. Will apply to 4.1 branch when testing completes.


-- 

lmillward at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0/4.1/4.2 regression] ICE|[4.0/4.1 regression] ICE
                   |with invalid template       |with invalid template
                   |parameter                   |parameter


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

[Bug c++/27668] [4.0/4.1 regression] ICE with invalid template parameter

[lmillward at gcc dot gnu dot org]

------- Comment #6 from lmillward at gcc dot gnu dot org  2006-07-28 21:17 -------
Subject: Bug 27668

Author: lmillward
Date: Fri Jul 28 21:17:28 2006
New Revision: 115801

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115801
Log:
        PR c++/27668
        PR c++/27962
        * pt.c (process_template_parm) Store invalid template
        parameters as error_mark_node in the paramater list.
        (push_inline_template_parms_recursive): Handle invalid
        template parameters.
        (comp_template_parms): Likewise.
        (check_default_tmpl_args): Likewise.
        (coerce_template_template_parms): Likewise.
        (coerce_template_parms): Likewise.
        (mangle_class_name_for_template): Likewise.
        (tsubst_template_parms): Likewise.
        * error.c (dump_template_argument_list): Likewise.

        * g++.dg/template/crash54.C: New test.
        * g++.dg/template/nontype16.C: New test.
        * g++.dg/template/nontype5.C: Adjust error markers.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/crash54.C
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/nontype16.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/error.c
    branches/gcc-4_1-branch/gcc/cp/pt.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/nontype5.C


-- 


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

[Bug c++/27668] [4.0 regression] ICE with invalid template parameter

[lmillward at gcc dot gnu dot org]

------- Comment #7 from lmillward at gcc dot gnu dot org  2006-07-28 21:19 -------
Fixed in 4.1.2


-- 

lmillward at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|lmillward at gcc dot gnu dot|unassigned at gcc dot gnu
                   |org                         |dot org
             Status|ASSIGNED                    |NEW
            Summary|[4.0/4.1 regression] ICE    |[4.0 regression] ICE with
                   |with invalid template       |invalid template parameter
                   |parameter                   |


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

[Bug c++/27668] [4.0 regression] ICE with invalid template parameter

[lmillward at gcc dot gnu dot org]

------- Comment #8 from lmillward at gcc dot gnu dot org  2006-08-10 19:19 -------
Subject: Bug 27668

Author: lmillward
Date: Thu Aug 10 19:18:37 2006
New Revision: 116068

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116068
Log:
        PR c++/28594
        PR c++/28637
        PR c++/28638
        PR c++/28639
        PR c++/28640
        PR c++/28641

        Revert:
        2006-07-28  Lee Millward  <lee.millward@codesourcery.com>

        PR c++/27668
        PR c++/27962
        * pt.c (process_template_parm) Store invalid template
        parameters as error_mark_node in the paramater list.
        (push_inline_template_parms_recursive): Handle invalid
        template parameters.
        (comp_template_parms): Likewise.
        (check_default_tmpl_args): Likewise.
        (coerce_template_template_parms): Likewise.
        (coerce_template_parms): Likewise.
        (mangle_class_name_for_template): Likewise.
        (tsubst_template_parms): Likewise.
        * error.c (dump_template_argument_list): Likewise.

        * g++.dg/template/crash54.C: New test.
        * g++.dg/template/nontype16.C: New test.
        * g++.dg/template/nontype5.C: Adjust error markers


Removed:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/crash54.C
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/nontype16.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/error.c
    branches/gcc-4_1-branch/gcc/cp/pt.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/nontype5.C


-- 


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

[Bug c++/27668] [4.0/4.1 regression] ICE with invalid template parameter

[lmillward at gcc dot gnu dot org]

------- Comment #9 from lmillward at gcc dot gnu dot org  2006-08-10 19:21 -------
The patch for this bug has been reverted on the 4.1 branch so re-adding the 4.1
regression marker.


-- 

lmillward at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0 regression] ICE with   |[4.0/4.1 regression] ICE
                   |invalid template parameter  |with invalid template
                   |                            |parameter


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

[Bug c++/27668] [4.0/4.1 regression] ICE with invalid template parameter

[jbuck at gcc dot gnu dot org]

------- Comment #10 from jbuck at gcc dot gnu dot org  2007-01-07 06:07 -------
I cannot duplicate this bug with gcc 4.1.1 or with the current 4.1 or 4.2
branches.  I don't get an ICE, just the expected error messages.

Is this bug still present?


-- 

jbuck at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jbuck at gcc dot gnu dot org


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

[Bug c++/27668] [4.0/4.1 regression] ICE with invalid template parameter

[gdr at gcc dot gnu dot org]

------- Comment #11 from gdr at gcc dot gnu dot org  2007-02-03 17:06 -------
Won't fix in GCC-4.0.x.  Adjusting milestone conservatively.
It is not even sure it is still present on gcc-4_1- branch.


-- 

gdr at gcc dot gnu dot org changed:

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


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

[Bug c++/27668] [4.0/4.1 regression] ICE with invalid template parameter

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug c++/27668] [4.1 regression] ICE with invalid template parameter

[reichelt at gcc dot gnu dot org]

------- Comment #12 from reichelt at gcc dot gnu dot org  2007-02-03 20:38 -------
The ICE is still present on the 4.1 branch as of 2007-02-02.
It's been fixed on the 4.2 branch and mainline.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.0/4.1 regression] ICE    |[4.1 regression] ICE with
                   |with invalid template       |invalid template parameter
                   |parameter                   |


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

[Bug c++/27668] [4.1 regression] ICE with invalid template parameter

[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=27668

[Bug c++/27668] [4.1 regression] ICE with invalid template parameter

[pinskia at gcc dot gnu dot org]

------- Comment #13 from pinskia at gcc dot gnu dot org  2007-06-24 03:37 -------
*** Bug 32320 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |uhle1982 at yahoo dot com


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

[Bug c++/27668] [4.1 regression] ICE with invalid template parameter

[jsm28 at gcc dot gnu dot org]

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


-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |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=27668