[Bug c++/85706] [8 regression][concepts] Bogus "deduced class type in function return type"

2018-05-08 Thread jason at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85706

Jason Merrill  changed:

   What|Removed |Added

   Keywords||rejects-valid
 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED
   Target Milestone|--- |8.2

--- Comment #3 from Jason Merrill  ---
Fixed.

[Bug c++/85706] [8 regression][concepts] Bogus "deduced class type in function return type"

2018-05-08 Thread jason at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85706

--- Comment #2 from Jason Merrill  ---
Author: jason
Date: Wed May  9 02:08:59 2018
New Revision: 260067

URL: https://gcc.gnu.org/viewcvs?rev=260067=gcc=rev
Log:
PR c++/85706 - class deduction under decltype

* pt.c (for_each_template_parm_r): Handle DECLTYPE_TYPE.  Clear
*walk_subtrees whether or not we walked into the operand.
(type_uses_auto): Only look at deduced contexts.

Added:
branches/gcc-8-branch/gcc/testsuite/g++.dg/concepts/class-deduction2.C
Modified:
branches/gcc-8-branch/gcc/cp/ChangeLog
branches/gcc-8-branch/gcc/cp/pt.c

[Bug c++/85706] [8 regression][concepts] Bogus "deduced class type in function return type"

2018-05-08 Thread jason at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85706

--- Comment #1 from Jason Merrill  ---
Author: jason
Date: Wed May  9 02:08:52 2018
New Revision: 260066

URL: https://gcc.gnu.org/viewcvs?rev=260066=gcc=rev
Log:
PR c++/85706 - class deduction under decltype

* pt.c (for_each_template_parm_r): Handle DECLTYPE_TYPE.  Clear
*walk_subtrees whether or not we walked into the operand.
(type_uses_auto): Only look at deduced contexts.

Added:
trunk/gcc/testsuite/g++.dg/concepts/class-deduction2.C
Modified:
trunk/gcc/cp/ChangeLog
trunk/gcc/cp/pt.c

[Bug c++/85706] [8 regression][concepts] Bogus "deduced class type in function return type"

2018-05-08 Thread jason at gcc dot gnu.org 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85706

Jason Merrill  changed:

   What|Removed |Added

 Status|UNCONFIRMED |ASSIGNED
   Last reconfirmed||2018-05-08
 CC||jason at gcc dot gnu.org
   Assignee|unassigned at gcc dot gnu.org  |jason at gcc dot gnu.org
 Ever confirmed|0   |1