[Bug c++/83916] [7/8 Regression] Internal compiler error on valid template code

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill  ---
Author: jason
Date: Wed Mar 14 19:17:03 2018
New Revision: 258533

URL: https://gcc.gnu.org/viewcvs?rev=258533&root=gcc&view=rev
Log:
PR c++/83916 - ICE with template template parameters.

* pt.c (convert_template_argument): Don't substitute into type of
non-type parameter if we don't have enough arg levels.
(unify): Likewise.

Added:
trunk/gcc/testsuite/g++.dg/template/ttp31.C
trunk/gcc/testsuite/g++.dg/template/ttp32.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c

[Bug c++/83916] [7/8 Regression] Internal compiler error on valid template code

[jason at gcc dot gnu.org]

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

Jason Merrill  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |jason at gcc dot gnu.org

[Bug c++/83916] [7/8 Regression] Internal compiler error on valid template code

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|7.3 |7.4

--- Comment #2 from Richard Biener  ---
GCC 7.3 is being released, adjusting target milestone.

[Bug c++/83916] [7/8 Regression] Internal compiler error on valid template code

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Keywords||ice-on-valid-code
   Priority|P3  |P2

[Bug c++/83916] [7/8 Regression] Internal compiler error on valid template code

[jakub at gcc dot gnu.org]

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

Jakub Jelinek  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-01-17
 CC||jakub at gcc dot gnu.org,
   ||jason at gcc dot gnu.org
   Target Milestone|--- |7.3
Summary|Internal compiler error on  |[7/8 Regression] Internal
   |valid template code |compiler error on valid
   ||template code
 Ever confirmed|0   |1

--- Comment #1 from Jakub Jelinek  ---
Started with r243871.  Doesn't ICE with -fno-new-ttp-matching.