PR c++/82331 - ICE with variadic partial specialization of auto
* pt.c (unify) [TEMPLATE_PARM_INDEX]: Set processing_template_decl around call to tsubst. From-SVN: r256807
This commit is contained in:
parent
d1f067b812
commit
99547487e1
|
@ -1,5 +1,9 @@
|
||||||
2018-01-17 Jason Merrill <jason@redhat.com>
|
2018-01-17 Jason Merrill <jason@redhat.com>
|
||||||
|
|
||||||
|
PR c++/82331 - ICE with variadic partial specialization of auto
|
||||||
|
* pt.c (unify) [TEMPLATE_PARM_INDEX]: Set processing_template_decl
|
||||||
|
around call to tsubst.
|
||||||
|
|
||||||
PR c++/82760 - memory corruption with aligned new.
|
PR c++/82760 - memory corruption with aligned new.
|
||||||
* call.c (build_operator_new_call): Update *args if we add the
|
* call.c (build_operator_new_call): Update *args if we add the
|
||||||
align_arg.
|
align_arg.
|
||||||
|
|
|
@ -20686,7 +20686,9 @@ unify (tree tparms, tree targs, tree parm, tree arg, int strict,
|
||||||
template-parameter exactly, except that a template-argument
|
template-parameter exactly, except that a template-argument
|
||||||
deduced from an array bound may be of any integral type.
|
deduced from an array bound may be of any integral type.
|
||||||
The non-type parameter might use already deduced type parameters. */
|
The non-type parameter might use already deduced type parameters. */
|
||||||
|
++processing_template_decl;
|
||||||
tparm = tsubst (TREE_TYPE (parm), targs, 0, NULL_TREE);
|
tparm = tsubst (TREE_TYPE (parm), targs, 0, NULL_TREE);
|
||||||
|
--processing_template_decl;
|
||||||
if (tree a = type_uses_auto (tparm))
|
if (tree a = type_uses_auto (tparm))
|
||||||
{
|
{
|
||||||
tparm = do_auto_deduction (tparm, arg, a, complain, adc_unify);
|
tparm = do_auto_deduction (tparm, arg, a, complain, adc_unify);
|
||||||
|
|
|
@ -0,0 +1,18 @@
|
||||||
|
// PR c++/82331
|
||||||
|
// { dg-options -std=c++17 }
|
||||||
|
|
||||||
|
template <auto>
|
||||||
|
class X;
|
||||||
|
|
||||||
|
template <typename R, typename... A, R (*F) (A...)>
|
||||||
|
class X<F> {
|
||||||
|
public:
|
||||||
|
static R call (A... args)
|
||||||
|
{
|
||||||
|
return (*F)(args...);
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
int func (int a, int b) { return a + b; }
|
||||||
|
|
||||||
|
int test () { return X<&func>::call(1, 2); }
|
Loading…
Reference in New Issue