fix Issue 13089 - Spurious 'is not nothrow' error on static array ini…

…tialization
dlang · Jul 11, 2014 · 60ae165 · 60ae165
1 parent 49f0db5
commit 60ae165
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
diff --git a/src/canthrow.c b/src/canthrow.c
@@ -119,7 +119,11 @@ bool canThrow(Expression *e, FuncDeclaration *func, bool mustNotThrow)
              */
             Type *t;
             if (ae->type->toBasetype()->ty == Tsarray)
+            {
+                if (!ae->e2->isLvalue())
+                    return;
                 t = ae->type;
+            }
             else if (ae->e1->op == TOKslice)
                 t = ((SliceExp *)ae->e1)->e1->type;
             else

diff --git a/test/runnable/sdtor.d b/test/runnable/sdtor.d
@@ -3268,6 +3268,29 @@ void test12686()
     assert(Foo12686.count == 2);
 }
 
+/**********************************/
+// 13089
+
+struct S13089
+{
+    @disable this(this);    // non nothrow
+}
+
+void* p13089;
+
+S13089[1000] foo13089() nothrow
+{
+    typeof(return) data;
+    p13089 = &data;
+    return data;
+}
+
+void test13089() nothrow
+{
+    immutable data = foo13089();
+    assert(p13089 == &data);
+}
+
 /**********************************/
 
 int main()
@@ -3370,6 +3393,7 @@ int main()
     test12591();
     test12660();
     test12686();
+    test13089();
 
     printf("Success\n");
     return 0;