r273597 - in /branches/gcc-9-branch/gcc: cp/Cha...

[jason@gcc.gnu.org]

Author: jason
Date: Fri Jul 19 08:53:07 2019
New Revision: 273597

URL: https://gcc.gnu.org/viewcvs?rev=273597&root=gcc&view=rev
Log:
	PR c++/90098 - partial specialization and class non-type parms.

A non-type template parameter of class type used in an expression has
const-qualified type; the pt.c hunks deal with this difference from the
unqualified type of the parameter declaration.  WAhen we use such a
parameter as an argument to another template, we don't want to confuse
things by copying it, we should pass it straight through.  And we might as
well skip copying other classes in constant evaluation context in a
template, too; we'll get the copy semantics at instantiation time.

	PR c++/90099
	PR c++/90101
	* call.c (build_converted_constant_expr_internal): Don't copy.
	* pt.c (process_partial_specialization): Allow VIEW_CONVERT_EXPR
	around class non-type parameter.
	(unify) [TEMPLATE_PARM_INDEX]: Ignore cv-quals.
	(invalid_nontype_parm_type_p): Check for dependent class type.

Added:
    branches/gcc-9-branch/gcc/testsuite/g++.dg/cpp2a/nontype-class18.C
    branches/gcc-9-branch/gcc/testsuite/g++.dg/cpp2a/nontype-class19.C
    branches/gcc-9-branch/gcc/testsuite/g++.dg/cpp2a/nontype-class20.C
    branches/gcc-9-branch/gcc/testsuite/g++.dg/cpp2a/nontype-class21.C
    branches/gcc-9-branch/gcc/testsuite/g++.dg/cpp2a/nontype-class22.C
Modified:
    branches/gcc-9-branch/gcc/cp/ChangeLog
    branches/gcc-9-branch/gcc/cp/call.c
    branches/gcc-9-branch/gcc/cp/pt.c