@@ -16189,15 +16189,17 @@ fndecl_declared_return_type (tree fn)
return TREE_TYPE (TREE_TYPE (fn));
}
-/* Returns true iff DECL was declared with an auto type and it has
- not yet been deduced to a real type. */
+/* Returns true iff DECL is a variable or function declared with an auto type
+ that has not yet been deduced to a real type. */
bool
undeduced_auto_decl (tree decl)
{
if (cxx_dialect < cxx11)
return false;
- return type_uses_auto (TREE_TYPE (decl));
+ return ((VAR_OR_FUNCTION_DECL_P (decl)
+ || TREE_CODE (decl) == TEMPLATE_DECL)
+ && type_uses_auto (TREE_TYPE (decl)));
}
/* Complain if DECL has an undeduced return type. */
@@ -25891,6 +25891,10 @@ do_auto_deduction (tree type, tree init, tree auto_node,
from ahead of time isn't worth the trouble. */
return type;
+ /* Similarly, we can't deduce from another undeduced decl. */
+ if (init && undeduced_auto_decl (init))
+ return type;
+
if (tree tmpl = CLASS_PLACEHOLDER_TEMPLATE (auto_node))
/* C++17 class template argument deduction. */
return do_class_deduction (type, tmpl, init, flags, complain);
new file mode 100644
@@ -0,0 +1,6 @@
+// PR c++/83947
+// { dg-do compile { target c++14 } }
+
+auto f ();
+template < int > auto g (f); // { dg-error "before deduction" }
+auto h = g < 0 > ();