From c6caa94fe07fbf2be2f366d7a6807b12fac799fe Mon Sep 17 00:00:00 2001
From: Yilou Wang <wangyilou123@gmail.com>
Date: Thu, 11 Jun 2026 15:04:06 +0200
Subject: [PATCH] Fix no-scope internal error on virtual interface method calls
 (#7759)

---
 src/V3Task.cpp                                |  7 +++---
 .../t/t_interface_virtual_func_module_call.py | 18 ++++++++++++++
 .../t/t_interface_virtual_func_module_call.v  | 24 +++++++++++++++++++
 3 files changed, 46 insertions(+), 3 deletions(-)
 create mode 100755 test_regress/t/t_interface_virtual_func_module_call.py
 create mode 100644 test_regress/t/t_interface_virtual_func_module_call.v

diff --git a/src/V3Task.cpp b/src/V3Task.cpp
index 5bae5d0aa..0db8d04d3 100644
--- a/src/V3Task.cpp
+++ b/src/V3Task.cpp
@@ -248,9 +248,9 @@ private:
         UASSERT_OBJ(nodep->taskp(), nodep, "Unlinked task");
         TaskFTaskVertex* const taskVtxp = getFTaskVertex(nodep->taskp());
         new TaskEdge{&m_callGraph, m_curVxp, taskVtxp};
-        if (isVirtualIfaceMethodCall(nodep) && isIfaceFTaskScope(getScope(nodep->taskp()))) {
-            taskVtxp->needsNonInlineCFunc(true);
-        }
+        // Virtual-interface method calls dispatch through a runtime handle and
+        // must not be inlined.
+        if (isVirtualIfaceMethodCall(nodep)) taskVtxp->needsNonInlineCFunc(true);
         // Do we have to disable inlining the function?
         const V3TaskConnects tconnects = V3Task::taskConnects(nodep, nodep->taskp()->stmtsp());
         if (!taskVtxp->noInline()) {  // Else short-circuit below
@@ -1638,6 +1638,7 @@ class TaskVisitor final : public VNVisitor {
         // Create cloned statements
         AstNode* beginp;
         AstCNew* cnewp = nullptr;
+        // getScope() is safe here: TaskStateVisitor stamped all FTask scopes before this pass.
         const bool virtualIfaceCall
             = TaskStateVisitor::isVirtualIfaceMethodCall(nodep)
               && TaskStateVisitor::isIfaceFTaskScope(m_statep->getScope(nodep->taskp()));
diff --git a/test_regress/t/t_interface_virtual_func_module_call.py b/test_regress/t/t_interface_virtual_func_module_call.py
new file mode 100755
index 000000000..6fe7d000c
--- /dev/null
+++ b/test_regress/t/t_interface_virtual_func_module_call.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_interface_virtual_func_module_call.v b/test_regress/t/t_interface_virtual_func_module_call.v
new file mode 100644
index 000000000..7489bead4
--- /dev/null
+++ b/test_regress/t/t_interface_virtual_func_module_call.v
@@ -0,0 +1,24 @@
+// DESCRIPTION: Verilator: Verilog Test module
+//
+// This file ONLY is placed under the Creative Commons Public Domain.
+// SPDX-FileCopyrightText: 2026 PlanV GmbH
+// SPDX-License-Identifier: CC0-1.0
+
+interface iface;
+  int cnt = 0;
+  function void bump();
+    cnt++;
+  endfunction
+endinterface
+
+module t;
+  iface theIf ();
+  virtual iface vif;
+  initial begin
+    vif = theIf;
+    vif.bump();
+    if (theIf.cnt !== 1) $stop;
+    $write("*-* All Finished *-*\n");
+    $finish;
+  end
+endmodule