[Bug c++/84536] [7/8/9 Regression] ICE with non-type template parameter

[paolo at gcc dot gnu.org]

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

--- Comment #3 from paolo at gcc dot gnu.org  ---
Author: paolo
Date: Wed Feb 20 10:47:02 2019
New Revision: 269037

URL: https://gcc.gnu.org/viewcvs?rev=269037&root=gcc&view=rev
Log:
/cp
2019-02-20  Paolo Carlini  

PR c++/84536
* pt.c (tsubst_init): Diagnose an initializer expanding to an
empty list of expressions; tweak wrt dependent types.
(regenerate_decl_from_template): For VAR_DECLs call tsubst_init
instead of tsubst_expr.

/testsuite
2019-02-20  Paolo Carlini  

PR c++/84536
* g++.dg/cpp1y/var-templ60.C: New.

Added:
trunk/gcc/testsuite/g++.dg/cpp1y/var-templ60.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c
trunk/gcc/testsuite/ChangeLog

[Bug c++/84536] [7/8/9 Regression] ICE with non-type template parameter

[paolo.carlini at oracle dot com]

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

Paolo Carlini  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
 CC|paolo.carlini at oracle dot com|
   Assignee|unassigned at gcc dot gnu.org  |paolo.carlini at oracle 
dot com

--- Comment #2 from Paolo Carlini  ---
Mine.

[Bug c++/84536] [7/8/9 Regression] ICE with non-type template parameter

[paolo.carlini at oracle dot com]

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

Paolo Carlini  changed:

   What|Removed |Added

   Priority|P4  |P3
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2019-02-15
 CC||paolo.carlini at oracle dot com
 Ever confirmed|0   |1

--- Comment #1 from Paolo Carlini  ---
I would argue for P3, because, if we slightly tweak it to:

template auto foo(N...); // -> void {}

void bar()
{
  foo<>();
}

we don't emit any diagnostics before ICEing.

[Bug c++/84536] [7/8/9 Regression] ICE with non-type template parameter

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|7.4 |7.5