[Repo Assist] Fix #1419: Add cycle guard for XSD group references to prevent StackOverflow

src/FSharp.Data.Xml.Core/XsdInference.fs

@@ -104,9 +104,12 @@ module XsdParsing =
         let elements =
             System.Collections.Generic.Dictionary<XmlSchemaElement, XsdModel.XsdElement>()
 
+        let visitingGroups = System.Collections.Generic.HashSet<XmlQualifiedName>()
+
         member x.GetElement name = getElm name
         member x.GetSubstitutions elm = getSubst elm
         member x.Elements = elements
+        member x.VisitingGroups = visitingGroups
 
 
     open XsdModel
@@ -183,7 +186,17 @@ module XsdParsing =
         match par with
         | :? XmlSchemaAny -> Any occurs
         | :? XmlSchemaGroupBase as grp -> parseParticles grp
-        | :? XmlSchemaGroupRef as grpRef -> parseParticle ctx grpRef.Particle
+        | :? XmlSchemaGroupRef as grpRef ->
+            // Guard against circular group references (e.g. group A → group B → group A).
+            // XSD allows groups to reference each other transitively; without a cycle guard
+            // this causes unbounded recursion and a StackOverflowException.
+            if ctx.VisitingGroups.Contains grpRef.RefName then
+                Empty // break the cycle
+            else
+                ctx.VisitingGroups.Add grpRef.RefName |> ignore
+                let result = parseParticle ctx grpRef.Particle
+                ctx.VisitingGroups.Remove grpRef.RefName |> ignore
+                result
         | :? XmlSchemaElement as elm ->
             let e =
                 if elm.RefName.IsEmpty then

tests/FSharp.Data.DesignTime.Tests/InferenceTests.fs

@@ -934,3 +934,35 @@ let ``abstract elements can be recursive``() =
     getInferedTypes formulaXsd [| sample1; sample2 |]
     |> ignore
 
+[<Test>]
+let ``circular group references do not cause a stack overflow``() =
+
+    // Schema with a group that (indirectly) creates a recursive content model:
+    // RecursiveGroup contains element "children" whose anonymous type references RecursiveGroup.
+    // Without a GroupRef cycle guard, this can cause unbounded recursion in parseParticle
+    // on .NET runtimes where the compiled XmlSchema object graph contains shared group particle references.
+    let xsd =
+        """
+        <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
+                   elementFormDefault="qualified">
+            <xs:group name="RecursiveGroup">
+                <xs:sequence>
+                    <xs:element name="value" type="xs:string" minOccurs="0"/>
+                    <xs:element name="children" minOccurs="0">
+                        <xs:complexType>
+                            <xs:group ref="RecursiveGroup" minOccurs="0" maxOccurs="unbounded"/>
+                        </xs:complexType>
+                    </xs:element>
+                </xs:sequence>
+            </xs:group>
+            <xs:element name="Root">
+                <xs:complexType>
+                    <xs:group ref="RecursiveGroup"/>
+                </xs:complexType>
+            </xs:element>
+        </xs:schema>
+        """
+
+    // Must complete without StackOverflowException
+    getInferedTypeFromSchema xsd |> ignore
+