PR c++/90098 - partial specialization and class non-type parms.
authorJason Merrill <jason@redhat.com>
Fri, 19 Jul 2019 06:52:47 +0000 (02:52 -0400)
committerJason Merrill <jason@gcc.gnu.org>
Fri, 19 Jul 2019 06:52:47 +0000 (02:52 -0400)
commit59febe0ece37bedab7f42ae51b9f2b7a372d2950
tree450126733d15b4766d37285fd778df24af4ec88b
parenta349418ef5247fdc0063d0daee96f6e8b5fb4a28
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.

From-SVN: r273591
gcc/cp/ChangeLog
gcc/cp/call.c
gcc/cp/pt.c
gcc/testsuite/g++.dg/cpp2a/nontype-class18.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/nontype-class19.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp2a/nontype-class20.C [new file with mode: 0644]