[Bug c++/95371] [10/11 Regression] ICE concepts with template template parameter since r10-3735-gcb57504a55015891

2020-06-01 Thread jason at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95371

Jason Merrill  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #4 from Jason Merrill  ---
Fixed for 10.2/11.

[Bug c++/95371] [10/11 Regression] ICE concepts with template template parameter since r10-3735-gcb57504a55015891

2020-05-29 Thread cvs-commit at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95371

--- Comment #3 from CVS Commits  ---
The releases/gcc-10 branch has been updated by Jason Merrill
:

https://gcc.gnu.org/g:c07c745b1ef62f633024824b7e125027f10c969b

commit r10-8211-gc07c745b1ef62f633024824b7e125027f10c969b
Author: Jason Merrill 
Date:   Fri May 29 16:55:52 2020 -0400

c++: Template template parameter in constraint [PR95371]

gcc/cp/ChangeLog:

PR c++/95371
* pt.c (process_template_parm): Set DECL_TEMPLATE_INFO
on the DECL_TEMPLATE_RESULT.

gcc/testsuite/ChangeLog:

PR c++/95371
* g++.dg/cpp2a/concepts-ttp1.C: New test.

(cherry picked from commit d91b3aea7a5bdfbdaec746af2d62894812e6fd86)

[Bug c++/95371] [10/11 Regression] ICE concepts with template template parameter since r10-3735-gcb57504a55015891

2020-05-29 Thread cvs-commit at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95371

--- Comment #2 from CVS Commits  ---
The master branch has been updated by Jason Merrill :

https://gcc.gnu.org/g:2fb595f8348e164d2f06536ba98322616eeaeeb6

commit r11-734-g2fb595f8348e164d2f06536ba98322616eeaeeb6
Author: Jason Merrill 
Date:   Fri May 29 16:55:52 2020 -0400

c++: Template template parameter in constraint [PR95371]

any_template_parm_r was assuming that the DECL_TEMPLATE_RESULT of a
template
will have a suitable TEMPLATE_INFO from which we can look at the generic
arguments for that template.  But that wasn't true for a template template
parameter; this patch makes it so.

gcc/cp/ChangeLog:

PR c++/95371
* pt.c (process_template_parm): Set DECL_TEMPLATE_INFO
on the DECL_TEMPLATE_RESULT.

gcc/testsuite/ChangeLog:

PR c++/95371
* g++.dg/cpp2a/concepts-ttp1.C: New test.

[Bug c++/95371] [10/11 Regression] ICE concepts with template template parameter since r10-3735-gcb57504a55015891

2020-05-29 Thread jason at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95371

Jason Merrill  changed:

   What|Removed |Added

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

[Bug c++/95371] [10/11 Regression] ICE concepts with template template parameter since r10-3735-gcb57504a55015891

2020-05-28 Thread rguenth at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95371

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|--- |10.2

[Bug c++/95371] [10/11 Regression] ICE concepts with template template parameter since r10-3735-gcb57504a55015891

2020-05-27 Thread marxin at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95371

Martin Liška  changed:

   What|Removed |Added

   Keywords|needs-reduction |ice-on-valid-code

--- Comment #1 from Martin Liška  ---
Whoops, it's already reduced.

[Bug c++/95371] [10/11 Regression] ICE concepts with template template parameter since r10-3735-gcb57504a55015891

2020-05-27 Thread marxin at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95371

Martin Liška  changed:

   What|Removed |Added

Summary|[10 Regression] ICE |[10/11 Regression] ICE
   |concepts with template  |concepts with template
   |template parameter  |template parameter since
   ||r10-3735-gcb57504a55015891
   Last reconfirmed||2020-05-27
   Keywords||needs-reduction
 Status|UNCONFIRMED |NEW
 CC||jason at gcc dot gnu.org,
   ||marxin at gcc dot gnu.org
 Ever confirmed|0   |1