Fix bug 8601: CTFE ICE on dstring[].toUpper

This error is spurious, the assert is incorrect.
dlang · Sep 4, 2012 · c5e0be4 · c5e0be4
1 parent 9699445
commit c5e0be4
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/src/interpret.c b/src/interpret.c
@@ -7084,8 +7084,6 @@ bool isCtfeValueValid(Expression *newval)
         assert(se->lwr && se->lwr != EXP_CANT_INTERPRET && se->lwr->op == TOKint64);
         assert(se->upr && se->upr != EXP_CANT_INTERPRET && se->upr->op == TOKint64);
         assert(se->e1->op == TOKarrayliteral || se->e1->op == TOKstring);
-        if (se->e1->op == TOKarrayliteral)
-            assert(((ArrayLiteralExp *)se->e1)->ownedByCtfe);
         return true;
     }
     if (newval->op == TOKvoid)

diff --git a/test/compilable/interpret3.d b/test/compilable/interpret3.d
@@ -1253,6 +1253,18 @@ void baz7770()
     static assert( bug7770b(foo7770[ $ - 2 ]));
 }
 
+/**************************************************
+   8601 ICE
+**************************************************/
+
+dchar bug8601(dstring s) {
+    dstring w = s[1..$];
+    return  w[0];
+}
+
+enum dstring e8601 = [cast(dchar)'o', 'n'];
+static assert(bug8601(e8601) == 'n');
+
 /**************************************************
    Bug 6015
 **************************************************/