[Bug c++/28363] New: Default template parameter causes compiler segfault

[Bug c++/28363] New: Default template parameter causes compiler segfault

[eric dot lemings at roguewave dot com]

[user@host tests]$ gcc --version
gcc (GCC) 4.1.0
Copyright (C) 2006 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[user@host tests]$ cat test01.cpp

template
<
  class T1, class T2,
  template < int > class T0 = T1,
>
struct A {
};

[user@host tests]$ g++ -Wall -g test01.cpp -o test01
test01.cpp:5: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
[user@host tests]$


-- 
           Summary: Default template parameter causes compiler segfault
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: eric dot lemings at roguewave dot com


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

Re: [Bug c++/28363] New: Default template parameter causes compiler segfault

[DebianTux23]

http://earth.google.com/download-earth.html

On 7/13/06, DebianTux23 <wieseltux23@gmail.com> wrote:
> http://earth.google.com/download-earth.html
>
>
> On 12 Jul 2006 21:18:46 -0000, eric dot lemings at roguewave dot com
> <gcc-bugzilla@gcc.gnu.org> wrote:
> > [user@host tests]$ gcc --version
> > gcc (GCC) 4.1.0
> > Copyright (C) 2006 Free Software Foundation, Inc.
> > This is free software; see the source for copying conditions.  There is NO
> > warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
> PURPOSE.
> >
> > [user@host tests]$ cat test01.cpp
> >
> > template
> > <
> >   class T1, class T2,
> >   template < int > class T0 = T1,
> > >
> > struct A {
> > };
> >
> > [user@host tests]$ g++ -Wall -g test01.cpp -o test01
> > test01.cpp:5: internal compiler error: Segmentation fault
> > Please submit a full bug report,
> > with preprocessed source if appropriate.
> > See <URL:http://gcc.gnu.org/bugs.html > for instructions.
> > [user@host tests]$
> >
> >
> > --
> >            Summary: Default template parameter causes compiler segfault
> >            Product: gcc
> >            Version: 4.1.0
> >             Status: UNCONFIRMED
> >           Severity: major
> >           Priority: P3
> >          Component: c++
> >         AssignedTo: unassigned at gcc dot gnu dot org
> >         ReportedBy: eric dot lemings at roguewave dot com
> >
> >
> > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28363
> >
> >
>
>

[Bug c++/28363] Default template parameter causes compiler segfault

[wieseltux23 at gmail dot com]

------- Comment #1 from wieseltux23 at gmail dot com  2006-07-13 15:08 -------
Subject: Re:  New: Default template parameter causes compiler segfault

http://earth.google.com/download-earth.html

On 7/13/06, DebianTux23 <wieseltux23@gmail.com> wrote:
> http://earth.google.com/download-earth.html
>
>
> On 12 Jul 2006 21:18:46 -0000, eric dot lemings at roguewave dot com
> <gcc-bugzilla@gcc.gnu.org> wrote:
> > [user@host tests]$ gcc --version
> > gcc (GCC) 4.1.0
> > Copyright (C) 2006 Free Software Foundation, Inc.
> > This is free software; see the source for copying conditions.  There is NO
> > warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
> PURPOSE.
> >
> > [user@host tests]$ cat test01.cpp
> >
> > template
> > <
> >   class T1, class T2,
> >   template < int > class T0 = T1,
> > >
> > struct A {
> > };
> >
> > [user@host tests]$ g++ -Wall -g test01.cpp -o test01
> > test01.cpp:5: internal compiler error: Segmentation fault
> > Please submit a full bug report,
> > with preprocessed source if appropriate.
> > See <URL:http://gcc.gnu.org/bugs.html > for instructions.
> > [user@host tests]$
> >
> >
> > --
> >            Summary: Default template parameter causes compiler segfault
> >            Product: gcc
> >            Version: 4.1.0
> >             Status: UNCONFIRMED
> >           Severity: major
> >           Priority: P3
> >          Component: c++
> >         AssignedTo: unassigned at gcc dot gnu dot org
> >         ReportedBy: eric dot lemings at roguewave dot com
> >
> >
> > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28363
> >
> >
>
>


-- 


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

Re: [Bug c++/28363] New: Default template parameter causes compiler segfault

[DebianTux23]

http://earth.google.com/download-earth.html
https://www.google.com/accounts/ServiceLogin?service=pages&continue=http%3A%2F%2Fpages.google.com%3A80%2F

On 7/13/06, DebianTux23 <wieseltux23@gmail.com> wrote:
> http://earth.google.com/download-earth.html
>
>
> On 12 Jul 2006 21:18:46 -0000, eric dot lemings at roguewave dot com
> <gcc-bugzilla@gcc.gnu.org> wrote:
> > [user@host tests]$ gcc --version
> > gcc (GCC) 4.1.0
> > Copyright (C) 2006 Free Software Foundation, Inc.
> > This is free software; see the source for copying conditions.  There is NO
> > warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
> PURPOSE.
> >
> > [user@host tests]$ cat test01.cpp
> >
> > template
> > <
> >   class T1, class T2,
> >   template < int > class T0 = T1,
> > >
> > struct A {
> > };
> >
> > [user@host tests]$ g++ -Wall -g test01.cpp -o test01
> > test01.cpp:5: internal compiler error: Segmentation fault
> > Please submit a full bug report,
> > with preprocessed source if appropriate.
> > See <URL:http://gcc.gnu.org/bugs.html > for instructions.
> > [user@host tests]$
> >
> >
> > --
> >            Summary: Default template parameter causes compiler segfault
> >            Product: gcc
> >            Version: 4.1.0
> >             Status: UNCONFIRMED
> >           Severity: major
> >           Priority: P3
> >          Component: c++
> >         AssignedTo: unassigned at gcc dot gnu dot org
> >         ReportedBy: eric dot lemings at roguewave dot com
> >
> >
> > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28363
> >
> >
>
>

[Bug c++/28363] Default template parameter causes compiler segfault

[wieseltux23 at gmail dot com]

------- Comment #2 from wieseltux23 at gmail dot com  2006-07-13 15:09 -------
Subject: Re:  New: Default template parameter causes compiler segfault

http://earth.google.com/download-earth.html
https://www.google.com/accounts/ServiceLogin?service=pages&continue=http%3A%2F%2Fpages.google.com%3A80%2F

On 7/13/06, DebianTux23 <wieseltux23@gmail.com> wrote:
> http://earth.google.com/download-earth.html
>
>
> On 12 Jul 2006 21:18:46 -0000, eric dot lemings at roguewave dot com
> <gcc-bugzilla@gcc.gnu.org> wrote:
> > [user@host tests]$ gcc --version
> > gcc (GCC) 4.1.0
> > Copyright (C) 2006 Free Software Foundation, Inc.
> > This is free software; see the source for copying conditions.  There is NO
> > warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
> PURPOSE.
> >
> > [user@host tests]$ cat test01.cpp
> >
> > template
> > <
> >   class T1, class T2,
> >   template < int > class T0 = T1,
> > >
> > struct A {
> > };
> >
> > [user@host tests]$ g++ -Wall -g test01.cpp -o test01
> > test01.cpp:5: internal compiler error: Segmentation fault
> > Please submit a full bug report,
> > with preprocessed source if appropriate.
> > See <URL:http://gcc.gnu.org/bugs.html > for instructions.
> > [user@host tests]$
> >
> >
> > --
> >            Summary: Default template parameter causes compiler segfault
> >            Product: gcc
> >            Version: 4.1.0
> >             Status: UNCONFIRMED
> >           Severity: major
> >           Priority: P3
> >          Component: c++
> >         AssignedTo: unassigned at gcc dot gnu dot org
> >         ReportedBy: eric dot lemings at roguewave dot com
> >
> >
> > http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28363
> >
> >
>
>


-- 


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

[Bug c++/28363] [4.0/4.1/4.2 regression] Default template parameter causes compiler segfault

[bangerth at dealii dot org]

------- Comment #1 from bangerth at dealii dot org  2006-07-18 13:38 -------
Confirmed, a regression introduced in 3.4.x.

W.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-invalid-code
   Last reconfirmed|0000-00-00 00:00:00         |2006-07-18 13:38:11
               date|                            |
            Summary|Default template parameter  |[4.0/4.1/4.2 regression]
                   |causes compiler segfault    |Default template parameter
                   |                            |causes compiler segfault


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

[Bug c++/28363] [4.0/4.1/4.2 regression] Default template parameter causes compiler segfault

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug c++/28363] [4.0/4.1/4.2 regression] Default template parameter causes compiler segfault

[reichelt at gcc dot gnu dot org]

------- Comment #2 from reichelt at gcc dot gnu dot org  2006-07-20 09:37 -------
With checking enabled I get the error message:

bug.cc:5: internal compiler error: tree check: expected record_type or
union_type or qual_union_type, have template_type_parm in
check_template_template_default_arg, at cp/semantics.c:2149
Please submit a full bug report, [etc.]

The compiler tries to be too smart and crashes emitting a sensible
error message.

Testing a patch.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |reichelt at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
           Keywords|                            |monitored


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

[Bug c++/28363] [4.0/4.1/4.2 regression] Default template parameter causes compiler segfault

[patchapp at dberlin dot org]

------- Comment #3 from patchapp at dberlin dot org  2006-07-21 03:05 -------
Subject: Bug number PR c++/28363

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/msg00876.html


-- 


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

[Bug c++/28363] [4.0/4.1/4.2 regression] Default template parameter causes compiler segfault

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

[Bug c++/28363] [4.0/4.1/4.2 regression] Default template parameter causes compiler segfault

[reichelt at gcc dot gnu dot org]

------- Comment #4 from reichelt at gcc dot gnu dot org  2006-07-21 09:41 -------
Subject: Bug 28363

Author: reichelt
Date: Fri Jul 21 09:41:16 2006
New Revision: 115640

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115640
Log:
        PR c++/28363
        * semantics.c (check_template_template_default_arg): Simplify
        error handling.

        * g++.dg/template/defarg10.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/template/defarg10.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/semantics.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/28363] [4.0/4.1/4.2 regression] Default template parameter causes compiler segfault

[reichelt at gcc dot gnu dot org]

------- Comment #5 from reichelt at gcc dot gnu dot org  2006-07-21 09:44 -------
Subject: Bug 28363

Author: reichelt
Date: Fri Jul 21 09:44:04 2006
New Revision: 115641

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115641
Log:
        PR c++/28363
        * semantics.c (check_template_template_default_arg): Simplify
        error handling.

        * g++.dg/template/defarg10.C: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/defarg10.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/semantics.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/28363] [4.0/4.1/4.2 regression] Default template parameter causes compiler segfault

[reichelt at gcc dot gnu dot org]

------- Comment #6 from reichelt at gcc dot gnu dot org  2006-07-21 09:50 -------
Subject: Bug 28363

Author: reichelt
Date: Fri Jul 21 09:50:08 2006
New Revision: 115642

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115642
Log:
        PR c++/28363
        * semantics.c (check_template_template_default_arg): Simplify
        error handling.

        * g++.dg/template/defarg10.C: New test.

Added:
    branches/gcc-4_0-branch/gcc/testsuite/g++.dg/template/defarg10.C
Modified:
    branches/gcc-4_0-branch/gcc/cp/ChangeLog
    branches/gcc-4_0-branch/gcc/cp/semantics.c
    branches/gcc-4_0-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/28363] [4.0/4.1/4.2 regression] Default template parameter causes compiler segfault

[reichelt at gcc dot gnu dot org]

------- Comment #7 from reichelt at gcc dot gnu dot org  2006-07-21 09:53 -------
Fixed on mainline, 4.1 branch, and 4.0 branch.


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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