[Bug c++/50852] New: ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[Bug c++/50852] New: ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[cas43 at cs dot stanford.edu]

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

             Bug #: 50852
           Summary: ICE: internal compiler error: in tsubst, at
                    cp/pt.c:11030
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: cas43@cs.stanford.edu


Created attachment 25592
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25592
Compiling this file causes ICE

ICE on compiling attached file.

How to reproduce: /home/cas43/new-gcc/inst/bin/g++ prog.ii

Diagnostic:

prog.cpp: In instantiation of ‘class D<B<A<1> >, 3>’:
prog.cpp:13:16:   required from here
prog.cpp:11:23: internal compiler error: in tsubst, at cp/pt.c:11030
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Compiler version:

/home/cas43/new-gcc/inst/bin/g++ -v
Using built-in specs.
COLLECT_GCC=/home/cas43/new-gcc/inst/bin/g++
COLLECT_LTO_WRAPPER=/home/cas43/new-gcc/inst/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../current-gcc/configure --prefix=/home/cas43/new-gcc/inst
Thread model: posix
gcc version 4.7.0 20111024 (experimental) (GCC)

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[paolo.carlini at oracle dot com]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-10-24
            Summary|ICE: internal compiler      |[4.6/4.7 Regression] ICE:
                   |error: in tsubst, at        |internal compiler error: in
                   |cp/pt.c:11030               |tsubst, at cp/pt.c:11030
     Ever Confirmed|0                           |1

--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-24 14:06:03 UTC ---
Apparently 4.5.x didn't crash.

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.3

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
      Known to work|                            |4.5.2

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dodji at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-11-08 00:43:49 UTC ---
Here we treat the two typename U::Ls being as equivalent, but then when we go
to substitute into C::X with the arguments for D, it fails because D's second
parameter is non-type.  Dodji?

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[dodji at gcc dot gnu.org]

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

Dodji Seketeli <dodji at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[dodji at seketeli dot org]

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

--- Comment #3 from dodji at seketeli dot org <dodji at seketeli dot org> 2011-11-21 14:43:25 UTC ---
A candidate patch was sent to
http://gcc.gnu.org/ml/gcc-patches/2011-11/msg01859.html for this.

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.3                       |4.6.4

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-03-01 14:38:37 UTC ---
GCC 4.6.3 is being released.

[Bug c++/50852] [4.6/4.7/4.8 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|dodji at gcc dot gnu.org    |jason at gcc dot gnu.org

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-05 18:05:21 UTC ---
Trying a different approach.

[Bug c++/50852] [4.6/4.7/4.8 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[jason at gcc dot gnu.org]

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

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-05 19:39:07 UTC ---
Author: jason
Date: Thu Jul  5 19:39:01 2012
New Revision: 189298

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=189298
Log:
    PR c++/50852
    PR c++/53039
    * tree.c (strip_typedefs_expr): New.
    * cp-tree.h: Declare it.
    * pt.c (convert_template_argument, unify): Use it.
    * parser.c (cp_parser_template_declaration_after_export): Don't call
    fixup_template_parms.

Added:
    trunk/gcc/testsuite/g++.dg/cpp0x/variadic133.C
    trunk/gcc/testsuite/g++.dg/template/typedef39.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/cp-tree.h
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/tree.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.dg/template/param1.C

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.6/4.7/4.8 Regression]    |[4.6/4.7 Regression] ICE:
                   |ICE: internal compiler      |internal compiler error: in
                   |error: in tsubst, at        |tsubst, at cp/pt.c:11030
                   |cp/pt.c:11030               |

--- Comment #7 from Jason Merrill <jason at gcc dot gnu.org> 2012-07-05 19:42:58 UTC ---
Fixed on trunk for now.

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[jason at gcc dot gnu.org]

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

--- Comment #8 from Jason Merrill <jason at gcc dot gnu.org> 2012-11-29 20:16:56 UTC ---
Author: jason
Date: Thu Nov 29 20:16:46 2012
New Revision: 193955

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193955
Log:
    PR c++/50852
    PR c++/53039
    * tree.c (strip_typedefs_expr): New.
    * cp-tree.h: Declare it.
    * pt.c (convert_template_argument, unify): Use it.
    * parser.c (cp_parser_template_declaration_after_export): Don't call
    fixup_template_parms.

    * cp-tree.h (TEMPLATE_PARM_NUM_SIBLINGS): Remove.
    (struct template_parm_index_s): Remove num_siblings.
    * pt.c (fixup_template_parms, fixup_template_parm_index): Remove.
    (fixup_template_type_parm_type): Remove.
    (build_template_parm_index): Remove num_siblings parm.
    (process_template_parm): Likewise.
    * parser.c (cp_parser_template_parameter_list): Adjust.
    * tree.c (cp_tree_equal): Don't compare num_siblings.
    * typeck.c (comp_template_parms_position): Likewise.

    * pt.c (arg_from_parm_pack_p): Go back to using same_type_p or
    cp_tree_equal.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/alias-decl-20.C
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/cpp0x/variadic133.C
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/template/typedef39.C
Modified:
    branches/gcc-4_7-branch/gcc/cp/ChangeLog
    branches/gcc-4_7-branch/gcc/cp/cp-tree.h
    branches/gcc-4_7-branch/gcc/cp/parser.c
    branches/gcc-4_7-branch/gcc/cp/pt.c
    branches/gcc-4_7-branch/gcc/cp/tree.c
    branches/gcc-4_7-branch/gcc/cp/typeck.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_7-branch/gcc/testsuite/g++.dg/template/param1.C

[Bug c++/50852] [4.6/4.7 Regression] ICE: internal compiler error: in tsubst, at cp/pt.c:11030

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.6.4                       |4.7.3

--- Comment #9 from Jason Merrill <jason at gcc dot gnu.org> 2012-11-29 20:29:54 UTC ---
The patch on trunk doesn't seem to have caused any trouble, so I've applied it
for 4.7.3 as well.