From bef5c1f4754b4bbab369778667e49d59e13eab5b Mon Sep 17 00:00:00 2001
From: em2machine <92717390+em2machine@users.noreply.github.com>
Date: Fri, 6 Mar 2026 16:23:02 -0500
Subject: [PATCH] Fix static function not found from parameterized extends
 class (#7204) (#7208)

---
 src/V3LinkDot.cpp                    |  8 +++++
 test_regress/t/t_uvm_static_func1.py | 18 ++++++++++
 test_regress/t/t_uvm_static_func1.v  | 50 ++++++++++++++++++++++++++++
 3 files changed, 76 insertions(+)
 create mode 100755 test_regress/t/t_uvm_static_func1.py
 create mode 100644 test_regress/t/t_uvm_static_func1.v

diff --git a/src/V3LinkDot.cpp b/src/V3LinkDot.cpp
index 12f7cee14..5091c2240 100644
--- a/src/V3LinkDot.cpp
+++ b/src/V3LinkDot.cpp
@@ -5008,6 +5008,14 @@ class LinkDotResolveVisitor final : public VNVisitor {
                 // symbols
                 return;
             }
+            if (AstClass* const targetClassp = VN_CAST(dotSymp->nodep(), Class)) {
+                if (m_extendsParam.count(targetClassp)) {
+                    // Target class has parameterized extends not yet resolved.
+                    // Its inherited symbols (e.g. static functions from the base class)
+                    // aren't imported yet - defer to linkDotParamed.
+                    return;
+                }
+            }
 
             VSymEnt* const foundp
                 = m_statep->findSymPrefixed(dotSymp, nodep->name(), baddot, first);
diff --git a/test_regress/t/t_uvm_static_func1.py b/test_regress/t/t_uvm_static_func1.py
new file mode 100755
index 000000000..6fe7d000c
--- /dev/null
+++ b/test_regress/t/t_uvm_static_func1.py
@@ -0,0 +1,18 @@
+#!/usr/bin/env python3
+# DESCRIPTION: Verilator: Verilog Test driver/expect definition
+#
+# This program is free software; you can redistribute it and/or modify it
+# under the terms of either the GNU Lesser General Public License Version 3
+# or the Perl Artistic License Version 2.0.
+# SPDX-FileCopyrightText: 2026 Wilson Snyder
+# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
+
+import vltest_bootstrap
+
+test.scenarios('simulator')
+
+test.compile(verilator_flags2=["--binary"])
+
+test.execute()
+
+test.passes()
diff --git a/test_regress/t/t_uvm_static_func1.v b/test_regress/t/t_uvm_static_func1.v
new file mode 100644
index 000000000..6e4974fbc
--- /dev/null
+++ b/test_regress/t/t_uvm_static_func1.v
@@ -0,0 +1,50 @@
+// DESCRIPTION: Verilator: Static function call on class with parameterized extends
+//
+// This program is free software; you can redistribute it and/or modify it
+// under the terms of either the GNU Lesser General Public License Version 3
+// or the Perl Artistic License Version 2.0.
+// SPDX-FileCopyrightText: 2026 Wilson Snyder
+// SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
+
+// verilog_format: off
+`define stop $stop
+`define checkd(gotv,expv) do if ((gotv) !== (expv)) begin $write("%%Error: %s:%0d:  got=%0d exp=%0d (%s !== %s)\n", `__FILE__,`__LINE__, (gotv), (expv), `"gotv`", `"expv`"); `stop; end while(0);
+// verilog_format: on
+
+package uvm_pkg;
+
+  class uvm_tlm_extension #(
+    type T = int
+  );
+    static function int ID();
+      return 42;
+    endfunction
+  endclass
+endpackage
+
+import uvm_pkg::*;
+
+module t;
+  class ext1 extends uvm_tlm_extension #(ext1);
+  endclass
+  class ext2 extends uvm_tlm_extension;
+  endclass
+
+  class test;
+    task run_phase();
+      int i, j;
+      i = ext2::ID();
+      `checkd(i, 42);
+      j = ext1::ID();
+      `checkd(j, 42);
+    endtask
+  endclass
+
+  initial begin
+    test tst;
+    tst = new;
+    tst.run_phase;
+    $write("*-* All Finished *-*\n");
+    $finish;
+  end
+endmodule