PR c++/89241 - ICE with __func__ in lambda in template.

When we're instantiating a generic lambda, its enclosing context will
have already been instantiated, so we need to look for that as well.

	* pt.c (enclosing_instantiation_of): Also check
	instantiated_lambda_fn_p for the template context.

From-SVN: r268784

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 3d3bb2a..5fe18cc 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2019-02-11  Jason Merrill  <jason@redhat.com>
+
+       PR c++/89241 - ICE with __func__ in lambda in template.
+       * pt.c (enclosing_instantiation_of): Also check
+       instantiated_lambda_fn_p for the template context.
+
 2019-02-11  Marek Polacek  <polacek@redhat.com>
 
        PR c++/89212 - ICE converting nullptr to pointer-to-member-function.

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 184cb85..b96e3aa 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -13355,7 +13355,8 @@ enclosing_instantiation_of (tree otctx)
   tree fn = current_function_decl;
   int lambda_count = 0;
 
-  for (; tctx && lambda_fn_in_template_p (tctx);
+  for (; tctx && (lambda_fn_in_template_p (tctx)
+                 || instantiated_lambda_fn_p (tctx));
        tctx = decl_function_context (tctx))
     ++lambda_count;
   for (; fn; fn = decl_function_context (fn))

diff --git a/gcc/testsuite/g++.dg/cpp1y/lambda-generic-func1.C b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-func1.C
new file mode 100644 (file)
index 0000000..4a63855
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-func1.C
@@ -0,0 +1,12 @@
+// PR c++/89241
+// { dg-do compile { target c++14 } }
+
+template <typename al> void m(al p) {
+  p(1);
+}
+
+template <typename ax> void f() {
+  m([](auto) { __func__; });
+}
+
+template void f<int>();