procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

PR c++/86098 - ICE with template placeholder for TTP.

Browse source 
* typeck.c (structural_comptypes) [TEMPLATE_TYPE_PARM]: Check
	CLASS_PLACEHOLDER_TEMPLATE.

From-SVN: r261536
This commit is contained in:
Jason Merrill 2018-06-12 23:33:06 -04:00 • committed by Jason Merrill
parent 8b4b756f2d
commit 79a9afa50f
3 changed files with 27 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/cp/ChangeLog
View file

@ -1,3 +1,9 @@
2018-06-12 Jason Merrill <jason@redhat.com>
PR c++/86098 - ICE with template placeholder for TTP.
* typeck.c (structural_comptypes) [TEMPLATE_TYPE_PARM]: Check
CLASS_PLACEHOLDER_TEMPLATE.
2018-06-12 Paolo Carlini <paolo.carlini@oracle.com>
* decl2.c (coerce_new_type, coerce_delete_type): Add location_t

5
gcc/cp/typeck.c
View file

@ -1375,6 +1375,11 @@ structural_comptypes (tree t1, tree t2, int strict)
template parameters set, they can't be equal. */
if (!comp_template_parms_position (t1, t2))
return false;
/* If T1 and T2 don't represent the same class template deduction,
they aren't equal. */
if (CLASS_PLACEHOLDER_TEMPLATE (t1)
!= CLASS_PLACEHOLDER_TEMPLATE (t2))
return false;
/* Constrained 'auto's are distinct from parms that don't have the same
constraints. */
if (!equivalent_placeholder_constraints (t1, t2))

16
gcc/testsuite/g++.dg/cpp1z/class-deduction58.C Normal file
View file

@ -0,0 +1,16 @@
// PR c++/86098
// { dg-additional-options -std=c++17 }
template <class _Res> class future;
template <class T> T&& declval();
template<template <class...> class T>
struct construct_deduced {
template <class... AN>
using deduced_t = decltype(T{declval<AN>()...});
template<class... AN>
deduced_t<AN...> operator()(AN&&... an) const;
};
template<class T>
future<T> future_from(T singleSender);