Merge pull request #867 from donc/ctfe7770dollar

Fix issue 7770 __dollar cannot be read at compile time
dlang · Apr 14, 2012 · 4ff8864 · 4ff8864
2 parents 14d64ec + 59ee1fa
commit 4ff8864
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 0 deletions.
diff --git a/src/dsymbol.c b/src/dsymbol.c
@@ -1398,6 +1398,7 @@ Dsymbol *ArrayScopeSymbol::search(Loc loc, Identifier *ident, int flags)
                 VoidInitializer *e = new VoidInitializer(0);
                 e->type = Type::tsize_t;
                 v->init = e;
+                v->storage_class |= STCctfe; // it's never a true static variable
             }
             *pvar = v;
         }

diff --git a/test/compilable/interpret3.d b/test/compilable/interpret3.d
@@ -1209,6 +1209,30 @@ int sdfgasf()
 }
 static assert(sdfgasf() == 1);
 
+/**************************************************
+   Bug 7770
+**************************************************/
+
+immutable char[] foo7770 = "abcde";
+
+int bug7770a(string a)
+{
+    return 1;
+}
+
+bool bug7770b(char c)
+{
+    return true;
+}
+
+static assert( bug7770a(foo7770[0 .. $]));
+static assert( bug7770b(foo7770[ $ - 2 ]));
+void baz7770()
+{
+    static assert( bug7770a(foo7770[0 .. $]));
+    static assert( bug7770b(foo7770[ $ - 2 ]));
+}
+
 /**************************************************
    Bug 6015
 **************************************************/