PR c++/85807 - ICE with call in template NSDMI.

	* init.c (get_nsdmi): Use push_to/pop_from_top_level.
	* tree.c (bot_manip): Don't set_flags_from_callee in a template.

From-SVN: r260972

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 2999fc30c9f571b0db7edb37f72ef2ce5c079477..ec5ee7eb9dd13792077a724ee5163bcc45548653 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2018-05-24  Jason Merrill  <jason@redhat.com>
+
+       PR c++/85807 - ICE with call in template NSDMI.
+       * init.c (get_nsdmi): Use push_to/pop_from_top_level.
+       * tree.c (bot_manip): Don't set_flags_from_callee in a template.
+
 2018-05-30  Jason Merrill  <jason@redhat.com>
 
        PR c++/85873 - constant initializer_list array not in .rodata.

diff --git a/gcc/cp/init.c b/gcc/cp/init.c
index 24119d188027168d06de33368a6fbb0928c94ed3..acf9c9b7c32f3e79fa3b717066dbe4dd36793076 100644 (file)
--- a/gcc/cp/init.c
+++ b/gcc/cp/init.c
@@ -577,6 +577,16 @@ get_nsdmi (tree member, bool in_ctor, tsubst_flags_t complain)
 
          DECL_INSTANTIATING_NSDMI_P (member) = 1;
 
+         bool pushed = false;
+         if (!currently_open_class (DECL_CONTEXT (member)))
+           {
+             push_to_top_level ();
+             push_nested_class (DECL_CONTEXT (member));
+             pushed = true;
+           }
+
+         gcc_checking_assert (!processing_template_decl);
+
          inject_this_parameter (DECL_CONTEXT (member), TYPE_UNQUALIFIED);
 
          start_lambda_scope (member);
@@ -599,6 +609,12 @@ get_nsdmi (tree member, bool in_ctor, tsubst_flags_t complain)
              nsdmi_inst->put (member, init);
            }
 
+         if (pushed)
+           {
+             pop_nested_class ();
+             pop_from_top_level ();
+           }
+
          input_location = sloc;
          cp_unevaluated_operand = un;
        }

diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c
index 53bc9c7176f4b5e527b4e1cfc7e740e0dcb2f270..4bb2879dc5980897d381c90d565ecc369b442de4 100644 (file)
--- a/gcc/cp/tree.c
+++ b/gcc/cp/tree.c
@@ -3015,7 +3015,8 @@ bot_manip (tree* tp, int* walk_subtrees, void* data_)
   /* Make a copy of this node.  */
   t = copy_tree_r (tp, walk_subtrees, NULL);
   if (TREE_CODE (*tp) == CALL_EXPR || TREE_CODE (*tp) == AGGR_INIT_EXPR)
-    set_flags_from_callee (*tp);
+    if (!processing_template_decl)
+      set_flags_from_callee (*tp);
   if (data.clear_location && EXPR_HAS_LOCATION (*tp))
     SET_EXPR_LOCATION (*tp, input_location);
   return t;

diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice14.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice14.C
index 77203794133f36b00f44e710637990fb432f7cae..d386f871a2e2edd31c3fbf7f6ed93e8d95a54976 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice14.C
+++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice14.C
@@ -8,7 +8,7 @@ template<typename R, typename... Args>
 struct function<R (Args...)>
 {
   template<typename F>
-  function(const F&);
+  function(const F&) { }
 };
 
 template<typename T>

diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-nsdmi8.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-nsdmi8.C
index 8c0adfad45f557839f7769dfd9caaee3b66cfd63..5f58991b5d40f2b4c98a0c3a3150dd9108362a47 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-nsdmi8.C
+++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-nsdmi8.C
@@ -6,7 +6,7 @@ class A {
 
 public:
   template <typename _Functor, typename = _Requires<_Functor, void>>
-  A(_Functor);
+  A(_Functor) { }
 };
 template <class T> class B {
   A f = [](T) {};

diff --git a/gcc/testsuite/g++.dg/cpp0x/nsdmi-template17.C b/gcc/testsuite/g++.dg/cpp0x/nsdmi-template17.C
new file mode 100644 (file)
index 0000000..6a5c5e4
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/nsdmi-template17.C
@@ -0,0 +1,25 @@
+// PR c++/85807
+// { dg-do compile { target c++11 } }
+
+template <class T>
+struct limits
+{
+  static T max();
+};
+
+template< class ScalarT = double >
+struct value_statistics_t
+{
+  double median = limits<double>::max();
+};
+
+template< class T > // required
+value_statistics_t<> calc()
+{
+  return {};
+}
+
+int main()
+{
+  value_statistics_t<> wstats = calc<double>();
+}