c++: Fix constexpr if and braced functional cast.

While partially instantiating a generic lambda, we can encounter pack
expansions or constexpr if where we can't actually do the substitution
immediately, and instead remember a partial instantiation context
in *_EXTRA_ARGS.  This includes any local_specializations used in the
pattern or condition.  In this testcase our tree walk wasn't finding the use
of i because we weren't walking into the type of a CONSTRUCTOR.  Fixed by
moving the code for doing that from find_parameter_packs_r into
cp_walk_subtrees.

2020-02-11  Jason Merrill  <jason@redhat.com>

	PR c++/92583
	PR c++/92654
	* tree.c (cp_walk_subtrees): Walk CONSTRUCTOR types here.
	* pt.c (find_parameter_packs_r): Not here.

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6d1eaa4bf90d108df441eb26f78043535f171f24..e0dd0388e14e9ed93f76b8610367d483d8b787e5 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2020-02-12  Jason Merrill  <jason@redhat.com>
+
+       PR c++/92583
+       PR c++/92654
+       * tree.c (cp_walk_subtrees): Walk CONSTRUCTOR types here.
+       * pt.c (find_parameter_packs_r): Not here.
+
 2020-02-12 Iain Sandoe <iain@sandoe.co.uk>
 
        * coroutines.cc (build_actor_fn): Implement deallocation function

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index c2d3a98b1c5641b492cf96c929993721fbfa543b..6e7f4555da87f364ae87c08bdf2a4e408fe199d2 100644 (file)
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -3924,9 +3924,6 @@ find_parameter_packs_r (tree *tp, int *walk_subtrees, void* data)
     case TEMPLATE_DECL:
       if (!DECL_TEMPLATE_TEMPLATE_PARM_P (t))
        return NULL_TREE;
-      gcc_fallthrough();
-
-    case CONSTRUCTOR:
       cp_walk_tree (&TREE_TYPE (t),
                    &find_parameter_packs_r, ppd, ppd->visited);
       return NULL_TREE;

diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c
index eb540f851eeb14b7c9c3990d20a6b285670c2344..736ef6fe667202389e7d3861782286a331d10d63 100644 (file)
--- a/gcc/cp/tree.c
+++ b/gcc/cp/tree.c
@@ -5024,6 +5024,11 @@ cp_walk_subtrees (tree *tp, int *walk_subtrees_p, walk_tree_fn func,
       *walk_subtrees_p = 0;
       break;
 
+    case CONSTRUCTOR:
+      if (COMPOUND_LITERAL_P (*tp))
+       WALK_SUBTREE (TREE_TYPE (*tp));
+      break;
+
     case TRAIT_EXPR:
       WALK_SUBTREE (TRAIT_EXPR_TYPE1 (*tp));
       WALK_SUBTREE (TRAIT_EXPR_TYPE2 (*tp));

diff --git a/gcc/testsuite/g++.dg/cpp0x/nondeduced7.C b/gcc/testsuite/g++.dg/cpp0x/nondeduced7.C
index a8aa073c57e54a8eca066cc0b918381ab3035555..eb5d5faf4936cc10154e4789124da199a644575c 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp0x/nondeduced7.C
+++ b/gcc/testsuite/g++.dg/cpp0x/nondeduced7.C
@@ -2,5 +2,5 @@
 // { dg-do compile { target c++11 } }
 
 template<typename, int> struct A;
-template<typename T> struct A<T, T{}> {}; // { dg-error "partial specialization" }
+template<typename T> struct A<T, T{}> {}; // { dg-error "partial specialization|involves template parameter" }
 A<int, 0> a;

diff --git a/gcc/testsuite/g++.dg/cpp1z/constexpr-if-lambda3.C b/gcc/testsuite/g++.dg/cpp1z/constexpr-if-lambda3.C
new file mode 100644 (file)
index 0000000..34615f7
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1z/constexpr-if-lambda3.C
@@ -0,0 +1,24 @@
+// PR c++/92583
+// { dg-do compile { target c++17 } }
+
+template <int> struct a {
+  constexpr operator int() { return 42; }
+};
+template <typename> using b = int;
+template <typename d, d> struct e {};
+template <typename d, d g> using h = e<d, __integer_pack(g)...>;
+template <typename j, typename k, k... index> void apply(j f, e<k, index...>) {
+  (f(a<index>{}), ...);
+}
+template <auto l, typename j> void m(j f) {
+  using k = b<decltype(l)>;
+  using n = h<k, l>;
+  apply(f, n{});
+}
+template <int, int c> void o() {
+  auto p = [](auto i) {
+    if constexpr (a<i>{}) ;
+  };
+  m<c>(p);
+}
+auto q() { o<0, 1>; }