Changeset 636

Timestamp:

08/28/10 04:36:17 (14 years ago)

Author:

walter

Message:

Issue 4564 - ICE on undefined variable in foreach over 0 .. undef

Files:

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

trunk/src/statement.c

@@ -2110 +2110 @@
-    {
-        arg->type = arg->type->semantic(loc, sc);
-        lwr = lwr->implicitCastTo(sc, arg->type);
-        upr = upr->implicitCastTo(sc, arg->type);
-    }
-    else
-    {
-        /* Must infer types from lwr and upr
-         */
-        Type *tlwr = lwr->type->toBasetype();
-        if (tlwr->ty == Tstruct || tlwr->ty == Tclass)
-        {
-            /* Just picking the first really isn't good enough.
-             */
-            arg->type = lwr->type->mutableOf();
-        }
-        else
-        {
-            AddExp ea(loc, lwr, upr);
-            Expression *e = ea.typeCombine(sc);
-            if (e->op == TOKerror)
-                return this;
-            arg->type = ea.type->mutableOf();
-            lwr = ea.e1;
-            upr = ea.e2;
-        }
-    }
-#if 1
-    /* Convert to a for loop:
-     *  foreach (key; lwr .. upr) =>
-     *  for (auto key = lwr, auto tmp = upr; key < tmp; ++key)
-     *
-     *  foreach_reverse (key; lwr .. upr) =>
-     *  for (auto tmp = lwr, auto key = upr; key-- > tmp;)
-     */
-
-    ExpInitializer *ie = new ExpInitializer(loc, (op == TOKforeach) ? lwr : upr);
-    key = new VarDeclaration(loc, arg->type, arg->ident, ie);
-
-    Identifier *id = Lexer::uniqueId("__limit");
-    ie = new ExpInitializer(loc, (op == TOKforeach) ? upr : lwr);
-    VarDeclaration *tmp = new VarDeclaration(loc, arg->type, id, ie);