PR c++/79092 - non-type args of different types are different
authorJason Merrill <jason@redhat.com>
Thu, 16 Nov 2017 20:13:48 +0000 (15:13 -0500)
committerJason Merrill <jason@gcc.gnu.org>
Thu, 16 Nov 2017 20:13:48 +0000 (15:13 -0500)
commit6296cf8e099aae43c86a773f93d83a19df85d7e7
treef602a84e280c62dd314f2a97321a94ae4ebf7d50
parent285346b5eba02c9a21351355de4cb7fb7d2b91ef
PR c++/79092 - non-type args of different types are different

* tree.c (cp_tree_equal): Check the type of constants.
* pt.c (unify) [TEMPLATE_PARM_INDEX]: Handle UNIFY_ALLOW_INTEGER
when comparing to previously deduced argument.
(maybe_convert_nontype_argument): New.
(convert_nontype_argument): Call it.
(tsubst_copy_and_build): Handle partial instantiation of
IMPLICIT_CONV_EXPR.
(unify): Ignore type when deducing from array bound.
(dependent_type_p_r): Handle DEFERRED_NOEXCEPT.
(value_dependent_expression_p): Any type-dependent expression is
value-dependent.  Handle IMPLICIT_CONV_EXPR.
* cp-tree.h (IMPLICIT_CONV_EXPR_NONTYPE_ARG): New.
* mangle.c (write_template_arg): Strip IMPLICIT_CONV_EXPR.

From-SVN: r254843
gcc/cp/ChangeLog
gcc/cp/cp-tree.h
gcc/cp/mangle.c
gcc/cp/pt.c
gcc/cp/tree.c
gcc/testsuite/g++.dg/cpp1z/nontype-auto12.C [new file with mode: 0644]