fix Issue 6720 - ICE(cod1.c) casting return of void function to bool

dlang · Oct 6, 2013 · fbb041f · fbb041f
1 parent fadd96c
commit fbb041f
Show file tree

Hide file tree

Showing 2 changed files with 32 additions and 0 deletions.
diff --git a/src/expression.c b/src/expression.c
@@ -10000,6 +10000,12 @@ Expression *CastExp::semantic(Scope *sc)
 
         if (tob->ty == Tpointer && t1b->ty == Tdelegate)
             deprecation("casting from %s to %s is deprecated", e1->type->toChars(), to->toChars());
+
+        if (t1b->ty == Tvoid && tob->ty != Tvoid && e1->op != TOKfunction)
+        {
+            error("cannot cast %s of type %s to %s", e1->toChars(), e1->type->toChars(), to->toChars());
+            return new ErrorExp();
+        }
     }
     else if (!to)
     {   error("cannot cast tuple");

diff --git a/test/compilable/compile1.d b/test/compilable/compile1.d
@@ -417,3 +417,29 @@ static if (is(object.ModuleInfo == class))
     static assert(__traits(classInstanceSize, object.ModuleInfo) !=
                   __traits(classInstanceSize, ModuleInfo));
 }
+
+/**************************************************
+    5796
+**************************************************/
+
+
+template A(B) {
+    pragma(msg, "missing ;")
+    enum X = 0;
+}
+
+
+static assert(!is(typeof(A!(int))));
+
+
+/**************************************************
+    6720
+**************************************************/
+void bug6720() { }
+
+
+static assert(!is(typeof(
+cast(bool)bug6720()
+)));
+
+