From 70f89187ccbe530f8831ed037db9d23801064c84 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jos=C3=A9=20Sim=C3=B5es?= <jose.simoes@eclo.solutions>
Date: Thu, 11 Dec 2025 22:34:52 +0000
Subject: [PATCH] Fix spawning static constructors

- Interation of assemblies ans spawning of cctor is now inside a loop to take care of nested dependencies and the need for multiple passes until all are satisfed.
---
 src/CLR/Core/Execution.cpp | 107 +++++++++++++++++++++----------------
 1 file changed, 62 insertions(+), 45 deletions(-)

diff --git a/src/CLR/Core/Execution.cpp b/src/CLR/Core/Execution.cpp
index 456f5d99d1..487094d76f 100644
--- a/src/CLR/Core/Execution.cpp
+++ b/src/CLR/Core/Execution.cpp
@@ -1113,7 +1113,7 @@ bool CLR_RT_ExecutionEngine::SpawnGenericTypeStaticConstructorsHelper(
         record->m_flags &= ~CLR_RT_GenericCctorExecutionRecord::c_Scheduled;
     }
 
-    // No more generic type .cctors for this assembly - set flag
+    // no more generic type .cctors for this assembly - set flag
     assembly->flags |= CLR_RT_Assembly::StaticGenericConstructorsExecuted;
     return false;
 }
@@ -1164,69 +1164,86 @@ void CLR_RT_ExecutionEngine::SpawnStaticConstructor(CLR_RT_Thread *&pCctorThread
         }
     }
 
-    // first, find the AppDomainAssembly to run. (what about appdomains!!!)
-    NANOCLR_FOREACH_ASSEMBLY(g_CLR_RT_TypeSystem)
+    // keep iterating until no more static constructors can be spawned
+    // note that multiple passes may be needed to satisfy all dependencies
+    bool anySpawned;
+
+    do
     {
-        // Check if regular static constructors need to be executed
-        if ((pASSM->flags & CLR_RT_Assembly::StaticConstructorsExecuted) == 0)
-        {
-            CLR_RT_MethodDef_Index index;
-            index.Set(pASSM->assemblyIndex, 0);
-            bool dependenciesSatisfied = true;
+        anySpawned = false;
 
-            // Check that all dependent assemblies have had regular static constructors run
-            CLR_RT_AssemblyRef_CrossReference *ar = pASSM->crossReferenceAssemblyRef;
-            for (int i = 0; i < pASSM->tablesSize[TBL_AssemblyRef]; i++, ar++)
+        NANOCLR_FOREACH_ASSEMBLY(g_CLR_RT_TypeSystem)
+        {
+            // Check if regular static constructors need to be executed
+            if ((pASSM->flags & CLR_RT_Assembly::StaticConstructorsExecuted) == 0)
             {
-                if ((ar->target->flags & CLR_RT_Assembly::StaticConstructorsExecuted) == 0)
+                CLR_RT_MethodDef_Index index;
+                index.Set(pASSM->assemblyIndex, 0);
+                bool dependenciesSatisfied = true;
+
+                // Check that all dependent assemblies have had regular static constructors run
+                CLR_RT_AssemblyRef_CrossReference *ar = pASSM->crossReferenceAssemblyRef;
+                for (int i = 0; i < pASSM->tablesSize[TBL_AssemblyRef]; i++, ar++)
                 {
-                    dependenciesSatisfied = false;
-                    break;
+                    if ((ar->target->flags & CLR_RT_Assembly::StaticConstructorsExecuted) == 0)
+                    {
+                        dependenciesSatisfied = false;
+                        break;
+                    }
                 }
-            }
 
-            if (dependenciesSatisfied)
-            {
-                // Run regular static constructors for this assembly
-                if (SpawnStaticConstructorHelper(pASSM, index))
+                if (dependenciesSatisfied)
                 {
-                    return;
+                    if (SpawnStaticConstructorHelper(pASSM, index))
+                    {
+                        return;
+                    }
+
+                    // returned false, meaning it set the flag and there are no more cctors for this assembly.
+                    // flag that progress was made and we should re-iterate
+                    anySpawned = true;
                 }
-            }
-        }
 
-        // Check if generic type static constructors need to be executed
-        if ((pASSM->flags & CLR_RT_Assembly::StaticGenericConstructorsExecuted) == 0)
-        {
-            bool dependenciesSatisfied = true;
+                // if there are dependencies not satisfied, just continue to next assembly
+                continue;
+            }
 
-            // Check that all dependent assemblies have had regular static constructors run
-            CLR_RT_AssemblyRef_CrossReference *ar = pASSM->crossReferenceAssemblyRef;
-            for (int i = 0; i < pASSM->tablesSize[TBL_AssemblyRef]; i++, ar++)
+            // Check if generic type static constructors need to be executed
+            if ((pASSM->flags & CLR_RT_Assembly::StaticGenericConstructorsExecuted) == 0)
             {
-                if ((ar->target->flags & CLR_RT_Assembly::StaticConstructorsExecuted) == 0)
+                bool dependenciesSatisfied = true;
+
+                // Check that all dependent assemblies have had regular static constructors run
+                CLR_RT_AssemblyRef_CrossReference *ar = pASSM->crossReferenceAssemblyRef;
+                for (int i = 0; i < pASSM->tablesSize[TBL_AssemblyRef]; i++, ar++)
                 {
-                    dependenciesSatisfied = false;
-                    break;
+                    if ((ar->target->flags & CLR_RT_Assembly::StaticConstructorsExecuted) == 0)
+                    {
+                        dependenciesSatisfied = false;
+                        break;
+                    }
                 }
-            }
-
-            if (dependenciesSatisfied)
-            {
-                // Run generic type static constructors for this assembly (starting from index 0)
-                CLR_RT_TypeSpec_Index startIndex;
-                startIndex.Set(pASSM->assemblyIndex, 0);
 
-                if (SpawnGenericTypeStaticConstructorsHelper(pASSM, startIndex))
+                if (dependenciesSatisfied)
                 {
-                    return;
+                    CLR_RT_TypeSpec_Index startIndex;
+                    startIndex.Set(pASSM->assemblyIndex, 0);
+
+                    if (SpawnGenericTypeStaticConstructorsHelper(pASSM, startIndex))
+                    {
+                        return;
+                    }
+
+                    // returned false, meaning it set the flag and there are no more generic cctors for this assembly.
+                    // flag that progress was made and we should re-iterate
+                    anySpawned = true;
                 }
             }
         }
-    }
-    NANOCLR_FOREACH_ASSEMBLY_END();
+        NANOCLR_FOREACH_ASSEMBLY_END();
+
+    } while (anySpawned);
 
-    // no more static constructors needed...
     pCctorThread->DestroyInstance();
 }
 #endif // NANOCLR_APPDOMAINS