Changeset 378

Timestamp:

02/12/10 06:54:07 (15 years ago)

Author:

walter

Message:

bugzilla 3775 Segfault(cast.c): casting no-parameter template function using property syntax

Files:

• trunk/src/expression.c (modified) (1 diff)

trunk/src/expression.c

@@ -7741 +7741 @@
-        return e;
-    }
-
-    // Struct casts are possible only when the sizes match
-    if (tob->ty == Tstruct || t1b->ty == Tstruct)
-    {
-        size_t fromsize = t1b->size(loc);
-        size_t tosize = tob->size(loc);
-        if (fromsize != tosize)
-        {
-        error("cannot cast from %s to %s", e1->type->toChars(), to->toChars());
-        return new ErrorExp();
-        }
-    }
-    }
-    else if (!to)
-    {   error("cannot cast tuple");
-    to = Type::terror;
-    }
-
+    if (!e1->type)
+    {   error("cannot cast %s", e1->toChars());
+    return new ErrorExp();
+    }
+
-#if 1
-    if (sc->func && sc->func->isSafe() && !sc->intypeof)
-#else
-    if (global.params.safe && !sc->module->safe && !sc->intypeof)
-#endif
-    {   // Disallow unsafe casts
-    Type *tob = to->toBasetype();
-    Type *t1b = e1->type->toBasetype();
-    if (!t1b->isMutable() && tob->isMutable())
-    {   // Cast not mutable to mutable
-      Lunsafe:
-        error("cast from %s to %s not allowed in safe code", e1->type->toChars(), to->toChars());
-    }
-    else if (t1b->isShared() && !tob->isShared())
-        // Cast away shared
-        goto Lunsafe;
-    else if (tob->ty == Tpointer)
-    {   if (t1b->ty != Tpointer)
-        goto Lunsafe;
-        Type *tobn = tob->nextOf()->toBasetype();