Fix Issue 18688 - Constructors shouldn't have implicit super call if …

…it throws
dlang · Mar 29, 2018 · ccdde63 · ccdde63
1 parent 69ece8c
commit ccdde63
Show file tree

Hide file tree

Showing 2 changed files with 45 additions and 2 deletions.
diff --git a/src/dmd/expressionsem.d b/src/dmd/expressionsem.d
@@ -3264,7 +3264,7 @@ private extern (C++) final class ExpressionSemanticVisitor : Visitor
                 return setError();
             }
 
-            if (!sc.intypeof && !(sc.callSuper & CSX.halt))
+            if (!sc.intypeof)
             {
                 if (sc.noctor || sc.callSuper & CSX.label)
                     exp.error("constructor calls not allowed in loops or after labels");
@@ -3301,7 +3301,7 @@ private extern (C++) final class ExpressionSemanticVisitor : Visitor
                 return setError();
             }
 
-            if (!sc.intypeof && !(sc.callSuper & CSX.halt))
+            if (!sc.intypeof)
             {
                 if (sc.noctor || sc.callSuper & CSX.label)
                     exp.error("constructor calls not allowed in loops or after labels");

diff --git a/test/compilable/test18688.d b/test/compilable/test18688.d
@@ -0,0 +1,43 @@
+class A
+{
+    this(int x){}
+    @disable this();
+}
+
+class B: A
+{
+    this(int x)
+    {
+        super(x);
+    }
+
+    this(string b)
+    {
+        switch(b)
+        {
+            case "a":break;
+            default: assert(false);
+        }
+        this(1);
+    }
+}
+
+class C: A
+{
+    this(int x)
+    {
+        super(x);
+    }
+
+    this(string b)
+    {
+        switch(b)
+        {
+            case "a":break;
+            default: assert(false);
+        }
+        super(1);
+    }
+}
+
+void main() {}