ldc-developers · kinke · Dec 25, 2025 · Dec 25, 2025 · Dec 25, 2025 · Dec 25, 2025
diff --git a/dmd/access.d b/dmd/access.d
@@ -3,7 +3,7 @@
  *
  * Specification: $(LINK2 https://dlang.org/spec/attribute.html#visibility_attributes, Visibility Attributes)
  *
- * Copyright:   Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright:   Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * Authors:     $(LINK2 https://www.digitalmars.com, Walter Bright)
  * License:     $(LINK2 https://www.boost.org/LICENSE_1_0.txt, Boost License 1.0)
  * Source:      $(LINK2 https://github.com/dlang/dmd/blob/master/compiler/src/dmd/access.d, _access.d)

diff --git a/dmd/aggregate.d b/dmd/aggregate.d
@@ -4,7 +4,7 @@
  * Specification: $(LINK2 https://dlang.org/spec/struct.html, Structs, Unions),
  *                $(LINK2 https://dlang.org/spec/class.html, Class).
  *
- * Copyright:   Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright:   Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * Authors:     $(LINK2 https://www.digitalmars.com, Walter Bright)
  * License:     $(LINK2 https://www.boost.org/LICENSE_1_0.txt, Boost License 1.0)
  * Source:      $(LINK2 https://github.com/dlang/dmd/blob/master/compiler/src/dmd/aggregate.d, _aggregate.d)
@@ -20,21 +20,15 @@ import core.checkedint;
 import dmd.aliasthis;
 import dmd.arraytypes;
 import dmd.astenums;
-import dmd.attrib;
 import dmd.declaration;
 import dmd.dscope;
-import dmd.dstruct;
 import dmd.dsymbol;
-import dmd.dtemplate;
 import dmd.errors;
 import dmd.expression;
 import dmd.func;
-import dmd.hdrgen;
-import dmd.id;
 import dmd.identifier;
 import dmd.location;
 import dmd.mtype;
-import dmd.tokens;
 import dmd.visitor;
 
 /**
@@ -158,24 +152,6 @@ extern (C++) abstract class AggregateDeclaration : ScopeDsymbol
         visibility = Visibility(Visibility.Kind.public_);
     }
 
-    /***************************************
-     * Create a new scope from sc.
-     * semantic, semantic2 and semantic3 will use this for aggregate members.
-     */
-    Scope* newScope(Scope* sc)
-    {
-        auto sc2 = sc.push(this);
-        sc2.stc &= STC.flowThruAggregate;
-        sc2.parent = this;
-        sc2.inunion = isUnionDeclaration();
-        sc2.visibility = Visibility(Visibility.Kind.public_);
-        sc2.explicitVisibility = false;
-        sc2.aligndecl = null;
-        sc2.userAttribDecl = null;
-        sc2.namespace = null;
-        return sc2;
-    }
-
     /***************************************
      * Returns:
      *      The total number of fields minus the number of hidden fields.
@@ -206,120 +182,6 @@ extern (C++) abstract class AggregateDeclaration : ScopeDsymbol
         return enclosing !is null;
     }
 
-    /* Append vthis field (this.tupleof[$-1]) to make this aggregate type nested.
-     */
-    extern (D) final void makeNested()
-    {
-        if (enclosing) // if already nested
-            return;
-        if (sizeok == Sizeok.done)
-            return;
-        if (isUnionDeclaration() || isInterfaceDeclaration())
-            return;
-        if (storage_class & STC.static_)
-            return;
-
-        // If nested struct, add in hidden 'this' pointer to outer scope
-        auto s = toParentLocal();
-        if (!s)
-            s = toParent2();
-        if (!s)
-            return;
-        Type t = null;
-        if (auto fd = s.isFuncDeclaration())
-        {
-            enclosing = fd;
-
-            /* https://issues.dlang.org/show_bug.cgi?id=14422
-             * If a nested class parent is a function, its
-             * context pointer (== `outer`) should be void* always.
-             */
-            t = Type.tvoidptr;
-        }
-        else if (auto ad = s.isAggregateDeclaration())
-        {
-            if (isClassDeclaration() && ad.isClassDeclaration())
-            {
-                enclosing = ad;
-            }
-            else if (isStructDeclaration())
-            {
-                if (auto ti = ad.parent.isTemplateInstance())
-                {
-                    enclosing = ti.enclosing;
-                }
-            }
-            t = ad.handleType();
-        }
-        if (enclosing)
-        {
-            //printf("makeNested %s, enclosing = %s\n", toChars(), enclosing.toChars());
-            assert(t);
-            if (t.ty == Tstruct)
-                t = Type.tvoidptr; // t should not be a ref type
-
-            assert(!vthis);
-            vthis = new ThisDeclaration(loc, t);
-            //vthis.storage_class |= STC.ref_;
-
-            // Emulate vthis.addMember()
-            members.push(vthis);
-
-            // Emulate vthis.dsymbolSemantic()
-            vthis.storage_class |= STC.field;
-            vthis.parent = this;
-            vthis.visibility = Visibility(Visibility.Kind.public_);
-            vthis.alignment = t.alignment();
-            vthis.semanticRun = PASS.semanticdone;
-
-            if (sizeok == Sizeok.fwd)
-                fields.push(vthis);
-
-            makeNested2();
-        }
-    }
-
-    /* Append vthis2 field (this.tupleof[$-1]) to add a second context pointer.
-     */
-    extern (D) final void makeNested2()
-    {
-        if (vthis2)
-            return;
-        if (!vthis)
-            makeNested();   // can't add second before first
-        if (!vthis)
-            return;
-        if (sizeok == Sizeok.done)
-            return;
-        if (isUnionDeclaration() || isInterfaceDeclaration())
-            return;
-        if (storage_class & STC.static_)
-            return;
-
-        auto s0 = toParentLocal();
-        auto s = toParent2();
-        if (!s || !s0 || s == s0)
-            return;
-        auto cd = s.isClassDeclaration();
-        Type t = cd ? cd.type : Type.tvoidptr;
-
-        vthis2 = new ThisDeclaration(loc, t);
-        //vthis2.storage_class |= STC.ref_;
-
-        // Emulate vthis2.addMember()
-        members.push(vthis2);
-
-        // Emulate vthis2.dsymbolSemantic()
-        vthis2.storage_class |= STC.field;
-        vthis2.parent = this;
-        vthis2.visibility = Visibility(Visibility.Kind.public_);
-        vthis2.alignment = t.alignment();
-        vthis2.semanticRun = PASS.semanticdone;
-
-        if (sizeok == Sizeok.fwd)
-            fields.push(vthis2);
-    }
-
     override final bool isExport() const
     {
         return visibility.kind == Visibility.Kind.export_;

diff --git a/dmd/aggregate.h b/dmd/aggregate.h
@@ -1,6 +1,6 @@
 
 /* Compiler implementation of the D programming language
- * Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * written by Walter Bright
  * https://www.digitalmars.com
  * Distributed under the Boost Software License, Version 1.0.
@@ -121,7 +121,6 @@ class AggregateDeclaration : public ScopeDsymbol
     d_bool disableNew;            // disallow allocations using `new`
     Sizeok sizeok;              // set when structsize contains valid data
 
-    virtual Scope *newScope(Scope *sc);
     bool isDeprecated() const override final; // is aggregate deprecated?
     bool isNested() const;
     bool isExport() const override final;
@@ -173,6 +172,7 @@ class StructDeclaration : public AggregateDeclaration
     static StructDeclaration *create(Loc loc, Identifier *id, bool inObject);
     StructDeclaration *syntaxCopy(Dsymbol *s) override;
     const char *kind() const override;
+    bool hasCopyConstruction();
     bool zeroInit() const;          // !=0 if initialize with 0 fill
     bool zeroInit(bool v);
     bool hasIdentityAssign() const; // true if has identity opAssign
@@ -277,7 +277,6 @@ class ClassDeclaration : public AggregateDeclaration
     static ClassDeclaration *create(Loc loc, Identifier *id, BaseClasses *baseclasses, Dsymbols *members, bool inObject);
     const char *toPrettyChars(bool QualifyTypes = false) override;
     ClassDeclaration *syntaxCopy(Dsymbol *s) override;
-    Scope *newScope(Scope *sc) override;
 
     #define OFFSET_RUNTIME 0x76543210
     #define OFFSET_FWDREF 0x76543211
@@ -292,8 +291,6 @@ class ClassDeclaration : public AggregateDeclaration
     virtual int vtblOffset() const;
     const char *kind() const override;
 
-    void addObjcSymbols(ClassDeclarations *classes, ClassDeclarations *categories) override final;
-
 #if !IN_LLVM
     // Back end
     Dsymbol *vtblsym;
@@ -306,7 +303,6 @@ class InterfaceDeclaration final : public ClassDeclaration
 {
 public:
     InterfaceDeclaration *syntaxCopy(Dsymbol *s) override;
-    Scope *newScope(Scope *sc) override;
     bool isBaseOf(ClassDeclaration *cd, int *poffset) override;
     const char *kind() const override;
     int vtblOffset() const override;

diff --git a/dmd/aliasthis.d b/dmd/aliasthis.d
@@ -3,7 +3,7 @@
  *
  * Specification: $(LINK2 https://dlang.org/spec/class.html#alias-this, Alias This)
  *
- * Copyright:   Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright:   Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * Authors:     $(LINK2 https://www.digitalmars.com, Walter Bright)
  * License:     $(LINK2 https://www.boost.org/LICENSE_1_0.txt, Boost License 1.0)
  * Source:      $(LINK2 https://github.com/dlang/dmd/blob/master/compiler/src/dmd/aliasthis.d, _aliasthis.d)
@@ -41,7 +41,7 @@ extern (C++) final class AliasThis : Dsymbol
     {
         assert(!s);
         auto at = new AliasThis(loc, ident);
-        at.comment = comment;
+        at.addComment(comment);
         return at;
     }
 

diff --git a/dmd/aliasthis.h b/dmd/aliasthis.h
@@ -1,6 +1,6 @@
 
 /* Compiler implementation of the D programming language
- * Copyright (C) 2009-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright (C) 2009-2026 by The D Language Foundation, All Rights Reserved
  * written by Walter Bright
  * https://www.digitalmars.com
  * Distributed under the Boost Software License, Version 1.0.

diff --git a/dmd/argtypes.h b/dmd/argtypes.h
@@ -1,6 +1,6 @@
 
 /* Compiler implementation of the D programming language
- * Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * written by Walter Bright
  * https://www.digitalmars.com
  * Distributed under the Boost Software License, Version 1.0.

diff --git a/dmd/argtypes_aarch64.d b/dmd/argtypes_aarch64.d
@@ -1,7 +1,7 @@
 /**
  * Break down a D type into basic (register) types for the AArch64 ABI.
  *
- * Copyright:   Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright:   Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * Authors:     Martin Kinkelin
  * License:     $(LINK2 https://www.boost.org/LICENSE_1_0.txt, Boost License 1.0)
  * Source:      $(LINK2 https://github.com/dlang/dmd/blob/master/compiler/src/dmd/argtypes_aarch64.d, _argtypes_aarch64.d)
@@ -11,10 +11,12 @@
 
 module dmd.argtypes_aarch64;
 
+import core.stdc.stdio;
 import dmd.astenums;
 import dmd.dsymbolsem : isPOD;
 import dmd.mtype;
 import dmd.typesem;
+import dmd.expressionsem : toUInteger;
 
 /****************************************************
  * This breaks a type down into 'simpler' types that can be passed to a function
@@ -31,6 +33,7 @@ import dmd.typesem;
  */
 TypeTuple toArgTypes_aarch64(Type t)
 {
+    //printf("toArgTypes_aarch64() %s\n", t.toChars());
     if (t == Type.terror)
         return new TypeTuple(t);
 

diff --git a/dmd/argtypes_sysv_x64.d b/dmd/argtypes_sysv_x64.d
@@ -1,7 +1,7 @@
 /**
  * Break down a D type into basic (register) types for the x86_64 System V ABI.
  *
- * Copyright:   Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright:   Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * Authors:     Martin Kinkelin
  * License:     $(LINK2 https://www.boost.org/LICENSE_1_0.txt, Boost License 1.0)
  * Source:      $(LINK2 https://github.com/dlang/dmd/blob/master/compiler/src/dmd/argtypes_sysv_x64.d, _argtypes_sysv_x64.d)
@@ -11,11 +11,13 @@
 
 module dmd.argtypes_sysv_x64;
 
+import core.stdc.stdio;
 import dmd.astenums;
 import dmd.declaration;
 import dmd.dsymbolsem : isPOD;
 import dmd.mtype;
 import dmd.typesem;
+import dmd.expressionsem : toInteger;
 import dmd.target;
 import dmd.visitor;
 
@@ -94,7 +96,10 @@ TypeTuple toArgTypes_sysv_x64(Type t)
                                       Type.tfloat32;
         }
         else
+        {
+            debug printf("class: %d\n", c);
             assert(0, "Unexpected class");
+        }
     }
 
     return N == 1

diff --git a/dmd/argtypes_x86.d b/dmd/argtypes_x86.d
@@ -1,7 +1,7 @@
 /**
  * Break down a D type into basic (register) types for the 32-bit x86 ABI.
  *
- * Copyright:   Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright:   Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * Authors:     $(LINK2 https://www.digitalmars.com, Walter Bright)
  * License:     $(LINK2 https://www.boost.org/LICENSE_1_0.txt, Boost License 1.0)
  * Source:      $(LINK2 https://github.com/dlang/dmd/blob/master/compiler/src/dmd/argtypes_x86.d, _argtypes_x86.d)
@@ -17,6 +17,7 @@ import core.checkedint;
 import dmd.astenums;
 import dmd.declaration;
 import dmd.dsymbolsem : isPOD;
+import dmd.expressionsem : toInteger;
 import dmd.location;
 import dmd.mtype;
 import dmd.typesem;

diff --git a/dmd/arrayop.d b/dmd/arrayop.d
@@ -3,7 +3,7 @@
  *
  * Specification: $(LINK2 https://dlang.org/spec/arrays.html#array-operations, Array Operations)
  *
- * Copyright:   Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright:   Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * Authors:     $(LINK2 https://www.digitalmars.com, Walter Bright)
  * License:     $(LINK2 https://www.boost.org/LICENSE_1_0.txt, Boost License 1.0)
  * Source:      $(LINK2 https://github.com/dlang/dmd/blob/master/compiler/src/dmd/arrayop.d, _arrayop.d)
@@ -19,7 +19,6 @@ import dmd.astenums;
 import dmd.dcast : implicitConvTo;
 import dmd.declaration;
 import dmd.dscope;
-import dmd.dsymbol;
 import dmd.errors;
 import dmd.expression;
 import dmd.expressionsem;
@@ -31,7 +30,7 @@ import dmd.location;
 import dmd.mtype;
 import dmd.common.outbuffer;
 import dmd.tokens;
-import dmd.typesem : isAssignable;
+import dmd.typesem : isAssignable, nextOf, toBasetype;
 import dmd.visitor;
 
 /**********************************************

diff --git a/dmd/arraytypes.d b/dmd/arraytypes.d
@@ -1,7 +1,7 @@
 /**
  * Provide aliases for arrays of certain declarations or statements.
  *
- * Copyright:   Copyright (C) 1999-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright:   Copyright (C) 1999-2026 by The D Language Foundation, All Rights Reserved
  * Authors:     $(LINK2 https://www.digitalmars.com, Walter Bright)
  * License:     $(LINK2 https://www.boost.org/LICENSE_1_0.txt, Boost License 1.0)
  * Source:      $(LINK2 https://github.com/dlang/dmd/blob/master/compiler/src/dmd/arraytypes.d, _arraytypes.d)

diff --git a/dmd/arraytypes.h b/dmd/arraytypes.h
@@ -1,6 +1,6 @@
 
 /* Compiler implementation of the D programming language
- * Copyright (C) 2006-2025 by The D Language Foundation, All Rights Reserved
+ * Copyright (C) 2006-2026 by The D Language Foundation, All Rights Reserved
  * written by Walter Bright
  * https://www.digitalmars.com
  * Distributed under the Boost Software License, Version 1.0.