fix Issue 15961 - ICE with instance field introduced by anonymous struct

`AnonDeclaration.setFieldOffset` may be called before the `semantic` to determine aggregate instance size in early steps.
dlang · Apr 27, 2016 · 4b667bb · 4b667bb
1 parent 82c5682
commit 4b667bb
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 0 deletions.
diff --git a/src/attrib.d b/src/attrib.d
@@ -661,6 +661,12 @@ public:
         return new AnonDeclaration(loc, isunion, Dsymbol.arraySyntaxCopy(decl));
     }
 
+    override void setScope(Scope* sc)
+    {
+        super.setScope(sc);
+        alignment = sc.structalign;
+    }
+
     override void semantic(Scope* sc)
     {
         //printf("\tAnonDeclaration::semantic %s %p\n", isunion ? "union" : "struct", this);

diff --git a/test/runnable/xtest46.d b/test/runnable/xtest46.d
@@ -7778,6 +7778,27 @@ void test15638()
     static assert(is(typeof(arr3) == immutable(A)[]));
 }
 
+/***************************************************/
+// 15961
+
+struct SliceOverIndexed15961(T)
+{
+    enum assignableIndex = T.init;
+}
+
+struct Grapheme15961
+{
+    SliceOverIndexed15961!Grapheme15961 opSlice()
+    {
+        assert(0);
+    }
+
+    struct
+    {
+        ubyte* ptr_;
+    }
+}
+
 /***************************************************/
 
 int main()