fix(detector): TThreadDestroy resolves type via constructor call fallback

False positive on FreeAndNil(gDfmRepoIndex) in uStaticAnalyzer2.pas:585.
TDfmRepoIndex is a plain class, not a TThread descendant - but the
detector's type-resolution only looked at '<Ident> : <Type>;' declarations
in the SAME file. gDfmRepoIndex is declared in uDfmRepoIndex.pas, so no
declaration was found and the conservative-flag path fired.

Fix: when the declaration regex fails, fall back to scanning the same
file for a constructor call '<Ident> := T<Type>.Create...'. That covers
the common cross-unit-global pattern where a TXxx pointer is declared
in one unit and only instantiated/freed in another (caches, repo
indexes, registries).

LooksLikeThreadType then correctly filters TDfmRepoIndex (no 'thread'
substring) and the detector stays silent. TThread descendants whose
type name does contain 'thread' continue to be flagged as before.

Regression test added: FreeAndNilCrossUnitGlobal_NotReported covers
exactly the gDfmRepoIndex pattern.

Author: nrodear

StaticCodeAnalyserForm/sources/Detectors/uConcurrencyExt.pas

@@ -218,21 +218,36 @@ class procedure TConcurrencyExtDetector.AnalyzeUnit(UnitNode: TAstNode;
     begin
       Ident := M.Groups[1].Value;
 
-      // Type-Filter: nur weitermachen wenn die Identifier-Deklaration im
-      // selben File nach einem TThread-Descendant aussieht (Typ-Token
-      // enthaelt 'Thread'). Wenn keine Deklaration gefunden wird, weiter
-      // pruefen (extern deklarierter Identifier - konservativ flaggen).
+      // Type-Filter: nur weitermachen wenn der Identifier nach einem
+      // TThread-Descendant aussieht. Lookups in dieser Reihenfolge:
+      //   1. Spezialfall 'Result': aus Function-Header oben.
+      //   2. `<Ident> : <Type>;`-Deklaration im selben File.
+      //   3. `<Ident> := T<Type>.Create...` als Konstruktor-Call im selben
+      //      File - faengt cross-unit deklarierte Globals (z.B.
+      //      `gDfmRepoIndex` in uDfmRepoIndex.pas, instanziiert hier).
+      // Wenn KEINER der drei Lookups einen Typ liefert, faellt der
+      // konservative Pfad weiter (Befund + Suppress-Hinweis im Detail).
       DeclaredType := '';
       if SameText(Ident, 'Result') then
-        // Spezialfall: Function-Return - Typ kommt aus dem Method-Header.
         DeclaredType := ResolveResultType(M.Index)
       else
       begin
         ReDecl := TRegEx.Create(
           '(?i)\b' + Ident + '\s*:\s*([A-Za-z0-9_<>,\s.]+?)\s*(?:;|\)|=)');
         DeclMatch := ReDecl.Match(Code);
         if DeclMatch.Success then
-          DeclaredType := DeclMatch.Groups[1].Value;
+          DeclaredType := DeclMatch.Groups[1].Value
+        else
+        begin
+          // Fallback: Konstruktor-Call `<Ident> := TXxx.Create...`. Faengt
+          // cross-unit-deklarierte Identifier die hier nur instanziiert
+          // werden - typischer Pfad fuer globale Indizes/Caches.
+          ReDecl := TRegEx.Create(
+            '(?i)\b' + Ident + '\s*:=\s*(T\w+)\s*\.\s*Create\b');
+          DeclMatch := ReDecl.Match(Code);
+          if DeclMatch.Success then
+            DeclaredType := DeclMatch.Groups[1].Value;
+        end;
       end;
       if (DeclaredType <> '') and not LooksLikeThreadType(DeclaredType) then
         Continue;  // Kein TThread-Kontext -> kein Befund (vermeidet FP

StaticCodeAnalyserForm/tests/uTestConcurrencyExt.pas

@@ -26,6 +26,9 @@   TTestConcurrencyExt = class
     // Spezialfall Result: Typ kommt aus dem Function-Header.
     [Test] procedure FreeAndNilResult_StringListReturn_NotReported;
     [Test] procedure FreeAndNilResult_ThreadReturn_Reported;
+    // Cross-Unit-Global: Identifier nicht im File deklariert, aber via
+    // Konstruktor-Call instanziiert -> Typ aus `:= TXxx.Create` ableiten.
+    [Test] procedure FreeAndNilCrossUnitGlobal_NotReported;
   end;
 
 implementation
@@ -209,6 +212,29 @@ procedure TTestConcurrencyExt.FreeAndNilResult_ThreadReturn_Reported;
   finally F.Free; end;
 end;
 
+procedure TTestConcurrencyExt.FreeAndNilCrossUnitGlobal_NotReported;
+// Regression: gDfmRepoIndex / gAstFileCache / gSymbolRefIndex sind in
+// anderen Units deklariert, werden im uStaticAnalyzer2 nur instanziiert
+// und freigegeben. Vor dem Detector-Fix hat der `<Ident> : <Type>;`-
+// Regex die Deklaration im selben File nicht gefunden und konservativ
+// geflaggt. Jetzt zieht der Konstruktor-Call-Fallback den Typ aus
+// `:= TXxx.Create`.
+const SRC =
+  'unit t; implementation'#13#10 +
+  'procedure DoStuff;'#13#10 +
+  'begin'#13#10 +
+  '  gFoo := TMyIndex.Create;'#13#10 +
+  '  try gFoo.Build;'#13#10 +
+  '  except FreeAndNil(gFoo);'#13#10 +
+  '  end;'#13#10 +
+  'end;';
+var F: TObjectList<TLeakFinding>;
+begin
+  F := TFindingHelper.FindingsOfFile(SRC);
+  try Assert.AreEqual(0, TFindingHelper.Count(F, fkTThreadDestroyWithoutTerminate));
+  finally F.Free; end;
+end;
+
 initialization
   TDUnitX.RegisterTestFixture(TTestConcurrencyExt);