fix issue 6677 - static this attributes position

src/declaration.h

@@ -831,8 +831,8 @@ class DtorDeclaration : public FuncDeclaration
 class StaticCtorDeclaration : public FuncDeclaration
 {
 public:
-    StaticCtorDeclaration(Loc loc, Loc endloc);
-    StaticCtorDeclaration(Loc loc, Loc endloc, const char *name);
+    StaticCtorDeclaration(Loc loc, Loc endloc, StorageClass stc);
+    StaticCtorDeclaration(Loc loc, Loc endloc, const char *name, StorageClass stc);
     Dsymbol *syntaxCopy(Dsymbol *);
     void semantic(Scope *sc);
     AggregateDeclaration *isThis();
@@ -850,7 +850,7 @@ class StaticCtorDeclaration : public FuncDeclaration
 class SharedStaticCtorDeclaration : public StaticCtorDeclaration
 {
 public:
-    SharedStaticCtorDeclaration(Loc loc, Loc endloc);
+    SharedStaticCtorDeclaration(Loc loc, Loc endloc, StorageClass stc);
     Dsymbol *syntaxCopy(Dsymbol *);
     void toCBuffer(OutBuffer *buf, HdrGenState *hgs);
 

src/func.c

@@ -4102,22 +4102,22 @@ void DtorDeclaration::toCBuffer(OutBuffer *buf, HdrGenState *hgs)
 
 /********************************* StaticCtorDeclaration ****************************/
 
-StaticCtorDeclaration::StaticCtorDeclaration(Loc loc, Loc endloc)
+StaticCtorDeclaration::StaticCtorDeclaration(Loc loc, Loc endloc, StorageClass stc)
     : FuncDeclaration(loc, endloc,
-      Identifier::generateId("_staticCtor"), STCstatic, NULL)
+      Identifier::generateId("_staticCtor"), STCstatic | stc, NULL)
 {
 }
 
-StaticCtorDeclaration::StaticCtorDeclaration(Loc loc, Loc endloc, const char *name)
+StaticCtorDeclaration::StaticCtorDeclaration(Loc loc, Loc endloc, const char *name, StorageClass stc)
     : FuncDeclaration(loc, endloc,
-      Identifier::generateId(name), STCstatic, NULL)
+      Identifier::generateId(name), STCstatic | stc, NULL)
 {
 }
 
 Dsymbol *StaticCtorDeclaration::syntaxCopy(Dsymbol *s)
 {
     assert(!s);
-    StaticCtorDeclaration *scd = new StaticCtorDeclaration(loc, endloc);
+    StaticCtorDeclaration *scd = new StaticCtorDeclaration(loc, endloc, storage_class);
     return FuncDeclaration::syntaxCopy(scd);
 }
 
@@ -4127,12 +4127,38 @@ void StaticCtorDeclaration::semantic(Scope *sc)
     //printf("StaticCtorDeclaration::semantic()\n");
 
     if (scope)
-    {   sc = scope;
+    {
+        sc = scope;
         scope = NULL;
     }
 
+    if (storage_class & STC_TYPECTOR)
+    {
+        unsigned char mod = 0;
+        if (storage_class & STCshared && !isSharedStaticCtorDeclaration())
+        {
+            ::error(loc, "to create a shared static constructor, move 'shared' in front of 'static'");
+            storage_class &= ~STCshared;
+        }
+        if (storage_class & STCimmutable)
+            mod = MODimmutable;
+        else
+        {
+            if (storage_class & STCconst)
+                mod |= MODconst;
+            else if (storage_class & STCwild)
+                mod |= MODwild;
+            if (storage_class & STCshared)
+                mod |= MODshared;
+        }
+        if (mod)
+            ::error(loc, "%sstatic constructors cannot be '%s'",
+                isSharedStaticCtorDeclaration() ? "shared " : "",
+                MODtoChars(mod));
+        storage_class &= ~STC_TYPECTOR; // remove qualifiers
+    }
     if (!type)
-        type = new TypeFunction(NULL, Type::tvoid, FALSE, LINKd);
+        type = new TypeFunction(NULL, Type::tvoid, FALSE, LINKd, storage_class);
 
     /* If the static ctor appears within a template instantiation,
      * it could get called multiple times by the module constructors
@@ -4213,15 +4239,15 @@ void StaticCtorDeclaration::toCBuffer(OutBuffer *buf, HdrGenState *hgs)
 
 /********************************* SharedStaticCtorDeclaration ****************************/
 
-SharedStaticCtorDeclaration::SharedStaticCtorDeclaration(Loc loc, Loc endloc)
-    : StaticCtorDeclaration(loc, endloc, "_sharedStaticCtor")
+SharedStaticCtorDeclaration::SharedStaticCtorDeclaration(Loc loc, Loc endloc, StorageClass stc)
+    : StaticCtorDeclaration(loc, endloc, "_sharedStaticCtor", stc)
 {
 }
 
 Dsymbol *SharedStaticCtorDeclaration::syntaxCopy(Dsymbol *s)
 {
     assert(!s);
-    SharedStaticCtorDeclaration *scd = new SharedStaticCtorDeclaration(loc, endloc);
+    SharedStaticCtorDeclaration *scd = new SharedStaticCtorDeclaration(loc, endloc, storage_class);
     return FuncDeclaration::syntaxCopy(scd);
 }
 

src/parse.c

@@ -1211,8 +1211,9 @@ StaticCtorDeclaration *Parser::parseStaticCtor()
     nextToken();
     check(TOKlparen);
     check(TOKrparen);
+    StorageClass stc = parsePostfix();
 
-    StaticCtorDeclaration *f = new StaticCtorDeclaration(loc, Loc());
+    StaticCtorDeclaration *f = new StaticCtorDeclaration(loc, Loc(), stc);
     parseContracts(f);
     return f;
 }
@@ -1232,8 +1233,9 @@ SharedStaticCtorDeclaration *Parser::parseSharedStaticCtor()
     nextToken();
     check(TOKlparen);
     check(TOKrparen);
+    StorageClass stc = parsePostfix();
 
-    SharedStaticCtorDeclaration *f = new SharedStaticCtorDeclaration(loc, Loc());
+    SharedStaticCtorDeclaration *f = new SharedStaticCtorDeclaration(loc, Loc(), stc);
     parseContracts(f);
     return f;
 }

test/fail_compilation/diag6677.d

@@ -0,0 +1,29 @@
+/*
+TEST_OUTPUT:
+---
+fail_compilation/diag6677.d(1): Error: static constructors cannot be 'const'
+fail_compilation/diag6677.d(2): Error: static constructors cannot be 'inout'
+fail_compilation/diag6677.d(3): Error: static constructors cannot be 'immutable'
+fail_compilation/diag6677.d(4): Error: to create a shared static constructor, move 'shared' in front of 'static'
+fail_compilation/diag6677.d(5): Error: to create a shared static constructor, move 'shared' in front of 'static'
+fail_compilation/diag6677.d(5): Error: static constructors cannot be 'const'
+fail_compilation/diag6677.d(7): Error: shared static constructors cannot be 'const'
+fail_compilation/diag6677.d(8): Error: shared static constructors cannot be 'inout'
+fail_compilation/diag6677.d(9): Error: shared static constructors cannot be 'immutable'
+fail_compilation/diag6677.d(10): Error: shared static constructors cannot be 'shared'
+fail_compilation/diag6677.d(11): Error: shared static constructors cannot be 'shared const'
+---
+*/
+
+#line 1
+static this() const { }
+static this() inout { }
+static this() immutable { }
+static this() shared { }
+static this() const shared { }
+
+shared static this() const { }
+shared static this() inout { }
+shared static this() immutable { }
+shared static this() shared { }
+shared static this() const shared { }

test/runnable/statictor.d

@@ -28,6 +28,30 @@ class Bar
         static ~this() {printf("Bar static dtor\n");}
 }
 
+/***********************************************/
+// 6677
+
+int global6677;
+
+static this() nothrow pure @safe
+{
+    int* p;
+    static assert(!__traits(compiles, ++p));
+    static assert(!__traits(compiles, ++global6677));
+    // BUG (not related to this):
+    //auto throwit = { throw new Exception("sup"); };
+    //static assert(!__traits(compiles, throwit() )); // Should pass
+    //throwit() // This fails, but __traits(compiles, ...) claims it compiles
+}
+
+shared static this() nothrow pure @safe
+{
+    int* p;
+    static assert(!__traits(compiles, ++p));
+    static assert(!__traits(compiles, ++global6677));
+}
+
+/***********************************************/
 // 7533
 struct Foo7533(int n)
 {
@@ -36,6 +60,8 @@ struct Foo7533(int n)
 
 alias Foo7533!5 Bar7533;
 
+/***********************************************/
+
 void main()
 {
 }