My patch for PR 86932 broke this testcase by passing tf_partial to
coerce_template_template_parms, which prevented do_auto_deduction from
actually replacing the auto.
Tested x86_64-pc-linux-gnu, applying to trunk.
* pt.c (do_auto_deduction): Clear tf_partial.
---
gcc/cp/pt.c | 4 ++++
gcc/testsuite/g++.dg/cpp1z/nontype-auto15.C | 6 ++++++
gcc/cp/ChangeLog | 5 +++++
3 files changed, 15 insertions(+)
create mode 100644 gcc/testsuite/g++.dg/cpp1z/nontype-auto15.C
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 20647be587a..40d954d1e8a 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -27504,6 +27504,10 @@ do_auto_deduction (tree type, tree init, tree
auto_node,
if (init && undeduced_auto_decl (init))
return type;
+ /* We may be doing a partial substitution, but we still want to replace
+ auto_node. */
+ complain &= ~tf_partial;
+
if (tree tmpl = CLASS_PLACEHOLDER_TEMPLATE (auto_node))
/* C++17 class template argument deduction. */
return do_class_deduction (type, tmpl, init, flags, complain);
diff --git a/gcc/testsuite/g++.dg/cpp1z/nontype-auto15.C
b/gcc/testsuite/g++.dg/cpp1z/nontype-auto15.C
new file mode 100644
index 00000000000..d94885d19ea
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/nontype-auto15.C
@@ -0,0 +1,6 @@
+// PR c++/89966
+// { dg-do compile { target c++17 } }
+
+template < auto a0 >
+void f0() { }
+void f0_call() { f0< sizeof(int) >(); }
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 55a083fab6f..ad4dba46bfe 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2019-04-04 Jason Merrill <[email protected]>
+
+ PR c++/89966 - error with non-type auto tparm.
+ * pt.c (do_auto_deduction): Clear tf_partial.
+
2019-04-04 Jason Merrill <[email protected]>
PR c++/86986 - ICE with TTP with parameter pack.
base-commit: 80d040496626199eb71219593cc941bb7fe22eca
--
2.20.1
