fix Issue 13221 - [ICE] '0' on line 318 in file 'interpret.c'

src/interpret.c

@@ -713,8 +713,11 @@ void ctfeCompile(FuncDeclaration *fd)
  */
 Expression *ctfeInterpret(Expression *e)
 {
-    if (e->type == Type::terror)
+    if (e->op == TOKerror)
         return e;
+    //assert(e->type->ty != Terror);    // FIXME
+    if (e->type->ty == Terror)
+        return new ErrorExp();
 
     unsigned olderrors = global.errors;
 

src/mtype.c

@@ -4105,12 +4105,17 @@ Type *TypeSArray::semantic(Loc loc, Scope *sc)
 
         dim = dim->optimize(WANTvalue);
         dim = dim->ctfeInterpret();
+        if (dim->op == TOKerror)
+            goto Lerror;
         errors = global.errors;
         dinteger_t d1 = dim->toInteger();
         if (errors != global.errors)
             goto Lerror;
+
         dim = dim->implicitCastTo(sc, tsize_t);
         dim = dim->optimize(WANTvalue);
+        if (dim->op == TOKerror)
+            goto Lerror;
         errors = global.errors;
         dinteger_t d2 = dim->toInteger();
         if (errors != global.errors)

test/fail_compilation/ice13221.d

@@ -0,0 +1,23 @@
+/*
+TEST_OUTPUT:
+---
+fail_compilation/ice13221.d(20): Error: variable r cannot be read at compile time
+---
+*/
+
+struct Tuple(T...)
+{
+    T field;
+    alias field this;
+}
+
+template test(T) {}
+
+void main()
+{
+    foreach (r; 0 .. 0)
+    {
+        enum i = r;
+        test!(Tuple!bool[i]);
+    }
+}