re PR c++/66450 ([C++11][constexpr] Issues when delegating implicit copy constructor...

	PR c++/66450
	* constexpr.c (cxx_eval_store_expression): Avoid messing up outer
	ctx->ctor.

From-SVN: r224381

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index a3dd1db9157d37a58f06f0099b2b59dd48ac9f7b..b6fdc107f6ee8bab04d8a4e5ea851b36f6a5dbda 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2015-06-11  Jason Merrill  <jason@redhat.com>
+
+       PR c++/66450
+       * constexpr.c (cxx_eval_store_expression): Avoid messing up outer
+       ctx->ctor.
+
 2015-06-10  Jason Merrill  <jason@redhat.com>
 
        PR c++/66289

diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c
index 8fa2eb3ac61bc860470d71641c4d752c2a6144a5..af6b39ecaf50c6b0721dc46764ede054e257f0d6 100644 (file)
--- a/gcc/cp/constexpr.c
+++ b/gcc/cp/constexpr.c
@@ -2671,11 +2671,13 @@ cxx_eval_store_expression (const constexpr_ctx *ctx, tree t,
     }
   release_tree_vector (refs);
 
-  if ((AGGREGATE_TYPE_P (TREE_TYPE (t)) || VECTOR_TYPE_P (TREE_TYPE (t))))
+  if (AGGREGATE_TYPE_P (type) || VECTOR_TYPE_P (type))
     {
       /* Create a new CONSTRUCTOR in case evaluation of the initializer
         wants to modify it.  */
-      *valp = new_ctx.ctor = build_constructor (TREE_TYPE (t), NULL);
+      new_ctx.ctor = build_constructor (type, NULL);
+      if (*valp == NULL_TREE)
+       *valp = new_ctx.ctor;
       CONSTRUCTOR_NO_IMPLICIT_ZERO (new_ctx.ctor) = true;
       new_ctx.object = target;
     }
@@ -2683,8 +2685,16 @@ cxx_eval_store_expression (const constexpr_ctx *ctx, tree t,
   init = cxx_eval_constant_expression (&new_ctx, init, false,
                                       non_constant_p, overflow_p);
   if (target == object)
-    /* The hash table might have moved since the get earlier.  */
-    ctx->values->put (object, init);
+    {
+      /* The hash table might have moved since the get earlier.  */
+      valp = ctx->values->get (object);
+      if (TREE_CODE (init) == CONSTRUCTOR)
+       /* An outer ctx->ctor might be pointing to *valp, so just replace
+          its contents.  */
+       CONSTRUCTOR_ELTS (*valp) = CONSTRUCTOR_ELTS (init);
+      else
+       *valp = init;
+    }
   else
     *valp = init;
 

diff --git a/gcc/testsuite/g++.dg/cpp0x/constexpr-fwctor1.C b/gcc/testsuite/g++.dg/cpp0x/constexpr-fwctor1.C
new file mode 100644 (file)
index 0000000..d25c9c7
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-fwctor1.C
@@ -0,0 +1,19 @@
+// PR c++/66450
+// { dg-do compile { target c++11 } }
+
+struct foo {
+  constexpr foo(int a);
+  constexpr foo(int a, int b, int c): a{a}, b{b}, c{c} {}
+
+  int a, b, c;
+};
+
+constexpr foo make_foo(int a) { return foo{a, a+1, a+2}; }
+constexpr foo::foo(int a): foo{make_foo(a)} {}
+
+int main() {
+  constexpr const foo f{3};
+  static_assert(f.a == 3, "");
+  static_assert(f.b == 4, "");
+  static_assert(f.c == 5, "");
+}