From 568de02e98e0ac000febf5e02fd3a6968aa53710 Mon Sep 17 00:00:00 2001
From: Tom Hvitved <hvitved@github.com>
Date: Mon, 15 Jun 2026 10:58:48 +0200
Subject: [PATCH] Update shared/typeflow/codeql/typeflow/UniversalFlow.qll

Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
---
 shared/typeflow/codeql/typeflow/UniversalFlow.qll | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/shared/typeflow/codeql/typeflow/UniversalFlow.qll b/shared/typeflow/codeql/typeflow/UniversalFlow.qll
index 9387cc06312..ddf01e7dd8b 100644
--- a/shared/typeflow/codeql/typeflow/UniversalFlow.qll
+++ b/shared/typeflow/codeql/typeflow/UniversalFlow.qll
@@ -155,9 +155,12 @@ module Make<LocationSig Location, UniversalFlowInput<Location> I> {
   private module RankEdge<Edge E> implements RankedEdge<E::Node> {
     private import E
 
+    private predicate needsNodeId(FlowNode n) { edge(n, _) }
+
     private int getFlowNodeIdByLoc(FlowNode n) {
       n =
         rank[result](FlowNode n0, string filePath, int startline, int startcolumn |
+          needsNodeId(n0) and
           not exists(getFlowNodeId(n0)) and
           n0.getLocation().hasLocationInfo(filePath, startline, startcolumn, _, _)
         |
@@ -168,6 +171,7 @@ module Make<LocationSig Location, UniversalFlowInput<Location> I> {
     private int getFlowNodeIdExt(FlowNode n) {
       n =
         rank[result](FlowNode n0, int a, int b |
+          needsNodeId(n0) and
           a = 0 and
           b = getFlowNodeId(n0)
           or