fix Issue 18057 - [ICE] Segmentation fault (stack overflow) in Expres…

…sion::ctfeInterpret()
dlang · Jan 13, 2018 · 265e42a · 265e42a
1 parent b1f6aec
commit 265e42a
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 1 deletion.
diff --git a/src/dmd/aggregate.d b/src/dmd/aggregate.d
@@ -459,7 +459,13 @@ extern (C++) abstract class AggregateDeclaration : ScopeDsymbol
                 else if (vx._init)
                 {
                     assert(!vx._init.isVoidInitializer());
-                    e = vx.getConstInitializer(false);
+                    if (vx.inuse)   // https://issues.dlang.org/show_bug.cgi?id=18057
+                    {
+                        vx.error(loc, "recursive initialization of field");
+                        errors = true;
+                    }
+                    else
+                        e = vx.getConstInitializer(false);
                 }
                 else
                 {

diff --git a/test/compilable/interpret3.d b/test/compilable/interpret3.d
@@ -7731,3 +7731,14 @@ bool foo17407()
 
 static assert(!foo17407);
 
+/**************************************************/
+// https://issues.dlang.org/show_bug.cgi?id=18057
+// Recursive field initializer causes segfault.
+
+struct RBNode(T)
+{
+    RBNode!T *copy = new RBNode!T;
+}
+
+static assert(!__traits(compiles, { alias bug18057 = RBNode!int; }));
+