[Bug c++/30044] ICE in tsubst, at cp/pt.c:7359

public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
       [not found] <bug-30044-4@http.gcc.gnu.org/bugzilla/>
@ 2015-06-03 14:50 ` ppalka at gcc dot gnu.org
  2015-06-23 23:42 ` ppalka at gcc dot gnu.org
                   ` (6 subsequent siblings)
  7 siblings, 0 replies; 10+ messages in thread
From: ppalka at gcc dot gnu.org @ 2015-06-03 14:50 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30044

ppalka at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |ppalka at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |ppalka at gcc dot gnu.org

--- Comment #3 from ppalka at gcc dot gnu.org ---
I have a patch for this.


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
       [not found] <bug-30044-4@http.gcc.gnu.org/bugzilla/>
  2015-06-03 14:50 ` [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359 ppalka at gcc dot gnu.org
@ 2015-06-23 23:42 ` ppalka at gcc dot gnu.org
  2015-06-24  2:58 ` ppalka at gcc dot gnu.org
                   ` (5 subsequent siblings)
  7 siblings, 0 replies; 10+ messages in thread
From: ppalka at gcc dot gnu.org @ 2015-06-23 23:42 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30044

--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Author: ppalka
Date: Tue Jun 23 23:41:51 2015
New Revision: 224859

URL: https://gcc.gnu.org/viewcvs?rev=224859&root=gcc&view=rev
Log:
[PATCH] Fix PR c++/30044

gcc/cp/ChangeLog:

        * parser.c (cp_parser_template_parameter_list): Update
        current_template_parms right after processing a paramater.
        * pt.c (template_parms_to_args): Remove obsolete hack for
        giving template template arguments the proper level.
        (check_default_tmpl_args): Account for tested template
        parameter_lists.
        (splite_late_return_type): Remove obsolete hack for giving
        template template arguments the proper level.

gcc/testsuite/ChangeLog

        * g++.dg/cpp0x/auto45.C: New test.
        * g++.dg/template/pr30044.C: New test.
        * g++.dg/template/crash83.C: Accept any error string.
        * g++.dg/cpp0x/variadic18.C: Adjust to not shadow template
        parameters.
        * g++.dg/cpp0x/variadic18.C: Likewise
        * g++.dg/template/canon-type-13.C: Likewise.
        * g++.old-deja/g++.pt/ttp42.C: Likewise.


Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/auto45.C
    trunk/gcc/testsuite/g++.dg/template/pr30044.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic18.C
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic19.C
    trunk/gcc/testsuite/g++.dg/template/canon-type-13.C
    trunk/gcc/testsuite/g++.dg/template/crash83.C
    trunk/gcc/testsuite/g++.dg/torture/20070621-1.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/ttp42.C


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
       [not found] <bug-30044-4@http.gcc.gnu.org/bugzilla/>
  2015-06-03 14:50 ` [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359 ppalka at gcc dot gnu.org
  2015-06-23 23:42 ` ppalka at gcc dot gnu.org
@ 2015-06-24  2:58 ` ppalka at gcc dot gnu.org
  2015-06-24  8:41 ` paolo.carlini at oracle dot com
                   ` (4 subsequent siblings)
  7 siblings, 0 replies; 10+ messages in thread
From: ppalka at gcc dot gnu.org @ 2015-06-24  2:58 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30044

Patrick Palka <ppalka at gcc dot gnu.org> changed:

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

--- Comment #5 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Should be fixed.


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
       [not found] <bug-30044-4@http.gcc.gnu.org/bugzilla/>
                   ` (2 preceding siblings ...)
  2015-06-24  2:58 ` ppalka at gcc dot gnu.org
@ 2015-06-24  8:41 ` paolo.carlini at oracle dot com
  2015-06-24 12:11 ` ppalka at gcc dot gnu.org
                   ` (3 subsequent siblings)
  7 siblings, 0 replies; 10+ messages in thread
From: paolo.carlini at oracle dot com @ 2015-06-24  8:41 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30044

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |6.0


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
       [not found] <bug-30044-4@http.gcc.gnu.org/bugzilla/>
                   ` (3 preceding siblings ...)
  2015-06-24  8:41 ` paolo.carlini at oracle dot com
@ 2015-06-24 12:11 ` ppalka at gcc dot gnu.org
  2015-06-24 12:15 ` ppalka at gcc dot gnu.org
                   ` (2 subsequent siblings)
  7 siblings, 0 replies; 10+ messages in thread
From: ppalka at gcc dot gnu.org @ 2015-06-24 12:11 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30044

--- Comment #6 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Author: ppalka
Date: Wed Jun 24 12:10:57 2015
New Revision: 224896

URL: https://gcc.gnu.org/viewcvs?rev=224896&root=gcc&view=rev
Log:
Revert fix for PR c++/30044

gcc/cp/ChangeLog:

        Revert:
        2015-06-23  Patrick Palka  <ppalka@gcc.gnu.org>

        PR c++/30044
        * parser.c (cp_parser_template_parameter_list): Update
        current_template_parms right after processing a paramater.
        * pt.c (template_parms_to_args): Remove obsolete hack for
        giving template template arguments the proper level.
        (check_default_tmpl_args): Account for tested template
        parameter_lists.
        (splite_late_return_type): Remove obsolete hack for giving
        template template arguments the proper level.

gcc/testsuite/ChangeLog:

        Revert:
        2015-06-23  Patrick Palka  <ppalka@gcc.gnu.org>

        PR c++/30044
        * g++.dg/cpp0x/auto45.C: New test.
        * g++.dg/template/pr30044.C: New test.
        * g++.dg/template/crash83.C: Accept any error string.
        * g++.dg/cpp0x/variadic18.C: Adjust to not shadow template
        parameters.
        * g++.dg/cpp0x/variadic18.C: Likewise
        * g++.dg/template/canon-type-13.C: Likewise.
        * g++.old-deja/g++.pt/ttp42.C: Likewise.


Removed:
    trunk/gcc/testsuite/g++.dg/cpp0x/auto45.C
    trunk/gcc/testsuite/g++.dg/template/pr30044.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/pt.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic18.C
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic19.C
    trunk/gcc/testsuite/g++.dg/template/canon-type-13.C
    trunk/gcc/testsuite/g++.dg/template/crash83.C
    trunk/gcc/testsuite/g++.dg/torture/20070621-1.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/ttp42.C


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
       [not found] <bug-30044-4@http.gcc.gnu.org/bugzilla/>
                   ` (4 preceding siblings ...)
  2015-06-24 12:11 ` ppalka at gcc dot gnu.org
@ 2015-06-24 12:15 ` ppalka at gcc dot gnu.org
  2015-07-10 23:22 ` ppalka at gcc dot gnu.org
  2015-07-11 19:53 ` paolo.carlini at oracle dot com
  7 siblings, 0 replies; 10+ messages in thread
From: ppalka at gcc dot gnu.org @ 2015-06-24 12:15 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30044

Patrick Palka <ppalka at gcc dot gnu.org> changed:

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

--- Comment #7 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Reopened, the fix was reverted because it caused the build of LLVM to seemingly
hang.


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
       [not found] <bug-30044-4@http.gcc.gnu.org/bugzilla/>
                   ` (5 preceding siblings ...)
  2015-06-24 12:15 ` ppalka at gcc dot gnu.org
@ 2015-07-10 23:22 ` ppalka at gcc dot gnu.org
  2015-07-11 19:53 ` paolo.carlini at oracle dot com
  7 siblings, 0 replies; 10+ messages in thread
From: ppalka at gcc dot gnu.org @ 2015-07-10 23:22 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30044

--- Comment #8 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Author: ppalka
Date: Fri Jul 10 23:21:39 2015
New Revision: 225706

URL: https://gcc.gnu.org/viewcvs?rev=225706&root=gcc&view=rev
Log:
Fix PR c++/30044

gcc/cp/ChangeLog:

        PR c++/30044
        * pt.c (begin_template_parm_list): Add a dummy parameter level
        to current_template_parms.
        (end_template_parm_list): Remove the dummy parameter level
        before adding the real one.
        (tsubst): Don't attempt to substitute for template parameters
        corresponding to a dummy argument level.
        (template_parms_to_args): Remove obsolete hack for
        giving template template arguments the proper level.
        (splite_late_return_type): Remove obsolete hack for giving
        template template arguments the proper level.
        * error.c (dump_template_decl): Don't print dummy template
        levels.

gcc/testsuite/ChangeLog

        PR c++/30044
        * g++.dg/cpp0x/auto46.C: New test.
        * g++.dg/template/pr30044.C: New test.
        * g++.dg/template/shadow2.C: New test.
        * g++.dg/template/error55.C: New test.
        * g++.dg/template/crash83.C: Accept any error string.
        * g++.dg/cpp0x/variadic18.C: Adjust to avoid shadowing template
        parameters.
        * g++.dg/cpp0x/variadic18.C: Likewise
        * g++.dg/template/canon-type-13.C: Likewise.
        * g++.old-deja/g++.pt/ttp42.C: Likewise.
        * g++.dg/torture/20070621-1.C: Likewise.


Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/auto46.C
    trunk/gcc/testsuite/g++.dg/template/error55.C
    trunk/gcc/testsuite/g++.dg/template/pr30044.C
    trunk/gcc/testsuite/g++.dg/template/shadow2.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/cpp0x/variadic18.C
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic19.C
    trunk/gcc/testsuite/g++.dg/template/canon-type-13.C
    trunk/gcc/testsuite/g++.dg/template/crash83.C
    trunk/gcc/testsuite/g++.dg/torture/20070621-1.C
    trunk/gcc/testsuite/g++.old-deja/g++.pt/ttp42.C


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
       [not found] <bug-30044-4@http.gcc.gnu.org/bugzilla/>
                   ` (6 preceding siblings ...)
  2015-07-10 23:22 ` ppalka at gcc dot gnu.org
@ 2015-07-11 19:53 ` paolo.carlini at oracle dot com
  7 siblings, 0 replies; 10+ messages in thread
From: paolo.carlini at oracle dot com @ 2015-07-11 19:53 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=30044

Paolo Carlini <paolo.carlini at oracle dot com> changed:

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

--- Comment #9 from Paolo Carlini <paolo.carlini at oracle dot com> ---
Thus finally fixed, I suppose.


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044]  New: ICE in tsubst, at cp/pt.c:7359
@ 2006-12-02  2:45 pcc03 at doc dot ic dot ac dot uk
  2006-12-02  2:47 ` [Bug c++/30044] " pcc03 at doc dot ic dot ac dot uk
  2006-12-02  7:40 ` pinskia at gcc dot gnu dot org
  0 siblings, 2 replies; 10+ messages in thread
From: pcc03 at doc dot ic dot ac dot uk @ 2006-12-02  2:45 UTC (permalink / raw)
  To: gcc-bugs

I get this when compiling the attached minimal test case.  The condition for
getting an ICE seems to be that:

1. A template template parameter's type is defined with 2 or more parameters
2. The type (ignoring the first parameter) is defined in terms of previous
template parameters, and none of the type's parameters are typename
3. A default parameter instantiates the template parameter

This seems to go back to at least gcc 3.3.

To reproduce: g++ icetest.C

$ g++ -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ./configure --with-gmp=/tmp/gcc-inst --prefix=/tmp/gcc-inst
--with-mpfr=/tmp/gcc-inst --enable-languages=c,c++
Thread model: posix
gcc version 4.3.0 20061201 (experimental)


-- 
           Summary: ICE in tsubst, at cp/pt.c:7359
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pcc03 at doc dot ic dot ac dot uk
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
  2006-12-02  2:45 [Bug c++/30044] New: " pcc03 at doc dot ic dot ac dot uk
@ 2006-12-02  2:47 ` pcc03 at doc dot ic dot ac dot uk
  2006-12-02  7:40 ` pinskia at gcc dot gnu dot org
  1 sibling, 0 replies; 10+ messages in thread
From: pcc03 at doc dot ic dot ac dot uk @ 2006-12-02  2:47 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #1 from pcc03 at doc dot ic dot ac dot uk  2006-12-02 02:47 -------
Created an attachment (id=12727)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12727&action=view)
minimal test case


-- 


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


^ permalink raw reply	[flat|nested] 10+ messages in thread

* [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359
  2006-12-02  2:45 [Bug c++/30044] New: " pcc03 at doc dot ic dot ac dot uk
  2006-12-02  2:47 ` [Bug c++/30044] " pcc03 at doc dot ic dot ac dot uk
@ 2006-12-02  7:40 ` pinskia at gcc dot gnu dot org
  1 sibling, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2006-12-02  7:40 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #2 from pinskia at gcc dot gnu dot org  2006-12-02 07:39 -------
Confirmed, not a regression, goes back to at least 2.95.3.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |2.95 3.2.3 3.4.0 4.0.0 4.2.0
                   |                            |4.0.4 4.1.2 4.2.0 4.3.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-12-02 07:39:58
               date|                            |


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


^ permalink raw reply	[flat|nested] 10+ messages in thread

end of thread, other threads:[~2015-07-11 19:53 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <bug-30044-4@http.gcc.gnu.org/bugzilla/>
2015-06-03 14:50 ` [Bug c++/30044] ICE in tsubst, at cp/pt.c:7359 ppalka at gcc dot gnu.org
2015-06-23 23:42 ` ppalka at gcc dot gnu.org
2015-06-24  2:58 ` ppalka at gcc dot gnu.org
2015-06-24  8:41 ` paolo.carlini at oracle dot com
2015-06-24 12:11 ` ppalka at gcc dot gnu.org
2015-06-24 12:15 ` ppalka at gcc dot gnu.org
2015-07-10 23:22 ` ppalka at gcc dot gnu.org
2015-07-11 19:53 ` paolo.carlini at oracle dot com
2006-12-02  2:45 [Bug c++/30044] New: " pcc03 at doc dot ic dot ac dot uk
2006-12-02  2:47 ` [Bug c++/30044] " pcc03 at doc dot ic dot ac dot uk
2006-12-02  7:40 ` pinskia at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).